Starten Sie Ihre Suche...


Wir weisen darauf hin, dass wir technisch notwendige Cookies verwenden. Weitere Informationen

Speeding up symbolic model checking by accelerating dynamic variable reordering

Trier: Univ., Mathematik/Informatik 1999 13 S. (Trierer Forschungsberichte ; 99-28)

Erscheinungsjahr: 1999

Publikationstyp: Buch

Sprache: Englisch

Geprüft:Bibliothek

Autoren

Meinel, Christoph (Autor)
Stangier, Christian (Autor)

Verbundene Forschungsprojekte

Verknüpfte Personen

Christoph Meinel

Beteiligte Einrichtungen

Logo Informatikwissenschaften