Increasing efficiency of symbolic model checking by accelerating dynamic variable reordering
Trier: Univ., Mathematik/Informatik 1998 9 S. (Trierer Forschungsberichte ; Nr. 98-23)
Erscheinungsjahr: 1998
Publikationstyp: Buch
Sprache: Englisch
| Geprüft: | Bibliothek |
