Title of article
Testing Language Containment for ω-Automata Using BDDs
Author/Authors
Touati H. J.، نويسنده , , Brayton R. K.، نويسنده ,
Issue Information
روزنامه با شماره پیاپی سال 1195
Pages
9
From page
101
To page
109
Journal title
Information and Computation
Serial Year
1195
Journal title
Information and Computation
Record number
261503
Link To Document