A Unifying Theoretical Background for Some BDD-Based Data Structures
Formal methods in system design. an international journal. Bd. 11. H. 3. Dordrecht [u.a.]: Springer 1997 S. 223 - 238
Erscheinungsjahr: 1997
ISBN/ISSN: 0925-9856
Publikationstyp: Zeitschriftenaufsatz
| Geprüft | Bibliothek |
