Starten Sie Ihre Suche...


Durch die Nutzung unserer Webseite erklären Sie sich damit einverstanden, dass wir 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üftBibliothek

Autoren

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

Verbundene Forschungsprojekte

Verknüpfte Personen

Christoph Meinel

Beteiligte Einrichtungen

Logo Informatikwissenschaften