Deciding safety and liveness in TPTL

Thumbnail
Metadata only
Autor(in)
Basin, David
Cotrini Jimenez, Carlos
Klaedtke, Felix
Zălinescu, Eugen
Alle anzeigen
Datum
2014-12
Typ
    Journal Article
Publikationsstatus
published
Externe Links
Zeitschrift / Serie
Information Processing Letters
Band
114(12)
Seiten / Artikelnummer
680 - 688
Verlag
Elsevier
Thema
Formal methods; Real-time systems; Temporal logic; Safety and liveness; Verification; Computational complexity
Organisationseinheit
03634 - Basin, David / Basin, David  
Anmerkungen
Received 30 October 2013, Received 1 April 2014, Accepted 10 June 2014, Available online 13 June 2014.
Mehr
Alle Metadaten anzeigen
ETH Bibliographie
yes
Altmetrics