Datensatz Zitierlink: 
http://hdl.handle.net/20.500.12708/186251
-
Titel: 
Temporal logic queries in model checking
en
Zitat: 
Samer, M. (2002). Temporal logic queries in model checking [Diploma Thesis, Technische Universität Wien]. reposiTUm. http://hdl.handle.net/20.500.12708/186251
-
CatalogPlus: 
AC03466878
-
Publikationstyp: 
Hochschulschrift - Diplomarbeit
de
Sprache: 
Englisch
-
Autor_innen: 
Samer, Marko 
-
Betreuer_in: 
Veith Helmut 
-
Organisations­einheit: 
E184 - Institut für Informationssysteme 
-
Datum (veröffentlicht): 
2002
-
Umfang: 
102
-
Weitere Information: 
Zsfassung in dt. Sprache
-
Enthalten in den Sammlungen:
Thesis

Zur Langanzeige

Seiten Aufrufe

80
aufgerufen am 01.12.2023

Google ScholarTM

Check