Robert K. Brayton
Hervé J. Touati, Robert K. Brayton, and Robert Kurshan.
Testing language containment for omega-automata using BDD's.
Information and Computation
, 118(1):101-109, April 1995.
Abstract and References.
Shortcuts:
Information and Computation homepage
Bibliography top level
Information and Computation Author Index
Search the HBP database