Starten Sie Ihre Suche...


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

Application driven variable reordering and an example implementation in reachability analysis

Trier: Univ., Mathematik/Informatik 1998 3 S. (Trierer Forschungsberichte ; 98-24)

Erscheinungsjahr: 1998

Publikationstyp: Buch

Geprüft:Bibliothek

Autoren

Meinel, Christoph (Autor)
Schwettmann, Klaus (Autor)
Slobodová, Anna (Autor)

Verknüpfte Personen

Christoph Meinel

Beteiligte Einrichtungen

Logo Informatikwissenschaften