Using ROBDDs for troubleshooting

Thomas D. Nielsen(Aalborg University), Uffe Kjaerulf, Pierre-Henri Wuillemin(Centre National de la Recherche Scientifique), Finn V. Jensen(Aalborg University)
HAL (Le Centre pour la Communication Scientifique Directe)
June 1, 2000
Cited by 0


Related Papers