Toggle navigation
reposiTUm
ABOUT REPOSITUM
HELP
Login
News
Browse by
Publication Types
Organizations
Researchers
Projects
TU Wien Academic Press
Open Access Series
Theses
Digitised Works
Year of Publication
DC Field
Value
Language
dc.contributor.advisor
Veith Helmut
-
dc.contributor.author
Samer, Marko
-
dc.date.accessioned
2023-06-19T23:53:16Z
-
dc.date.issued
2002
-
dc.identifier.citation
<div class="csl-bib-body"> <div class="csl-entry">Samer, M. (2002). <i>Temporal logic queries in model checking</i> [Diploma Thesis, Technische Universität Wien]. reposiTUm. http://hdl.handle.net/20.500.12708/186251</div> </div>
-
dc.identifier.uri
http://hdl.handle.net/20.500.12708/186251
-
dc.description
Zsfassung in dt. Sprache
-
dc.language
English
-
dc.language.iso
en
-
dc.title
Temporal logic queries in model checking
en
dc.type
Thesis
en
dc.type
Hochschulschrift
de
dc.contributor.affiliation
TU Wien, Österreich
-
tuw.thesisinformation
Technische Universität Wien
-
tuw.publication.orgunit
E184 - Institut für Informationssysteme
-
dc.type.qualificationlevel
Diploma
-
dc.identifier.libraryid
AC03466878
-
dc.description.numberOfPages
102
-
dc.thesistype
Diplomarbeit
de
dc.thesistype
Diploma Thesis
en
tuw.advisor.staffStatus
staff
-
item.languageiso639-1
en
-
item.cerifentitytype
Publications
-
item.cerifentitytype
Publications
-
item.openairecristype
http://purl.org/coar/resource_type/c_18cf
-
item.openairecristype
http://purl.org/coar/resource_type/c_18cf
-
item.fulltext
no Fulltext
-
item.grantfulltext
none
-
item.openairetype
Thesis
-
item.openairetype
Hochschulschrift
-
crisitem.author.dept
E184 - Institut für Informationssysteme
-
crisitem.author.parentorg
E180 - Fakultät für Informatik
-
Appears in Collections:
Thesis
Show simple item record
Items in reposiTUm are protected by copyright, with all rights reserved, unless otherwise indicated.
Page view(s)
10
checked on Jul 1, 2023
Google Scholar
TM
Check