Starten Sie Ihre Suche...


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

Autoren

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

Verknüpfte Personen

Christoph Meinel

Beteiligte Einrichtungen

Logo Informatikwissenschaften