Deciding safety and liveness in TPTL
dc.contributor.author
Basin, David
dc.contributor.author
Cotrini Jimenez, Carlos
dc.contributor.author
Klaedtke, Felix
dc.contributor.author
Zălinescu, Eugen
dc.date.accessioned
2017-06-11T12:43:51Z
dc.date.available
2017-06-11T12:43:51Z
dc.date.issued
2014-12
dc.identifier.issn
0020-0190
dc.identifier.issn
1872-6119
dc.identifier.other
10.1016/j.ipl.2014.06.005
dc.identifier.uri
http://hdl.handle.net/20.500.11850/89962
dc.language.iso
en
dc.publisher
Elsevier
dc.subject
Formal methods
dc.subject
Real-time systems
dc.subject
Temporal logic
dc.subject
Safety and liveness
dc.subject
Verification
dc.subject
Computational complexity
dc.title
Deciding safety and liveness in TPTL
dc.type
Journal Article
ethz.journal.title
Information Processing Letters
ethz.journal.volume
114
ethz.journal.issue
12
ethz.journal.abbreviated
Inf. process. lett.
ethz.pages.start
680
ethz.pages.end
688
ethz.notes
Received 30 October 2013, Received 1 April 2014, Accepted 10 June 2014, Available online 13 June 2014.
ethz.identifier.wos
ethz.identifier.nebis
000048114
ethz.publication.place
Amsterdam
ethz.publication.status
published
ethz.leitzahl
ETH Zürich::00002 - ETH Zürich::00012 - Lehre und Forschung::00007 - Departemente::02150 - Dep. Informatik / Dep. of Computer Science::02660 - Institut für Informationssicherheit / Institute of Information Security::03634 - Basin, David / Basin, David
ethz.leitzahl.certified
ETH Zürich::00002 - ETH Zürich::00012 - Lehre und Forschung::00007 - Departemente::02150 - Dep. Informatik / Dep. of Computer Science::02660 - Institut für Informationssicherheit / Institute of Information Security::03634 - Basin, David / Basin, David
ethz.date.deposited
2017-06-11T12:44:28Z
ethz.source
ECIT
ethz.identifier.importid
imp593652598ab9e12357
ethz.ecitpid
pub:141688
ethz.eth
yes
ethz.availability
Metadata only
ethz.rosetta.installDate
2017-07-15T02:18:06Z
ethz.rosetta.lastUpdated
2024-02-01T22:14:16Z
ethz.rosetta.versionExported
true
ethz.COinS
ctx_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.atitle=Deciding%20safety%20and%20liveness%20in%20TPTL&rft.jtitle=Information%20Processing%20Letters&rft.date=2014-12&rft.volume=114&rft.issue=12&rft.spage=680&rft.epage=688&rft.issn=0020-0190&1872-6119&rft.au=Basin,%20David&Cotrini%20Jimenez,%20Carlos&Klaedtke,%20Felix&Z%C4%83linescu,%20Eugen&rft.genre=article&rft_id=info:doi/10.1016/j.ipl.2014.06.005&
Files in this item
| Files | Size | Format | Open in viewer |
|---|---|---|---|
|
There are no files associated with this item. |
|||
Publication type
-
Journal Article [132250]