Specification Languages for Stutter-Invariant Regular Properties
dc.contributor.author
Dax, Christian
dc.contributor.author
Klaedtke, Felix
dc.contributor.author
Leue, Stefan
dc.contributor.editor
Liu, Zhiming
dc.contributor.editor
Ravn, Anders P.
dc.date.accessioned
2017-06-08T23:35:34Z
dc.date.available
2017-06-08T23:35:34Z
dc.date.issued
2009
dc.identifier.isbn
978-3-642-04760-2
dc.identifier.isbn
978-3-642-04761-9
dc.identifier.issn
0302-9743
dc.identifier.issn
1611-3349
dc.identifier.other
10.1007/978-3-642-04761-9_19
dc.identifier.uri
http://hdl.handle.net/20.500.11850/19483
dc.language.iso
en
dc.publisher
Springer
dc.title
Specification Languages for Stutter-Invariant Regular Properties
dc.type
Conference Paper
ethz.book.title
Automated technology for verification and analysis : 7th international symposium : proceedings
ethz.journal.title
Lecture Notes in Computer Science
ethz.journal.volume
5799
ethz.journal.abbreviated
LNCS
ethz.pages.start
244
ethz.pages.end
254
ethz.event
7th International Symposium on Automated Technology for Verification and Analysis (ATVA 2009)
ethz.event.location
Macao, China
ethz.event.date
October 14-16, 2009
ethz.identifier.wos
ethz.identifier.nebis
005915587
ethz.publication.place
Berlin
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-08T23:35:48Z
ethz.source
ECIT
ethz.identifier.importid
imp59364ca5b6f8e60324
ethz.ecitpid
pub:31830
ethz.eth
yes
ethz.availability
Metadata only
ethz.rosetta.installDate
2017-07-14T14:33:44Z
ethz.rosetta.lastUpdated
2022-03-28T08:40:34Z
ethz.rosetta.versionExported
true
ethz.COinS
ctx_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.atitle=Specification%20Languages%20for%20Stutter-Invariant%20Regular%20Properties&rft.jtitle=Lecture%20Notes%20in%20Computer%20Science&rft.date=2009&rft.volume=5799&rft.spage=244&rft.epage=254&rft.issn=0302-9743&1611-3349&rft.au=Dax,%20Christian&Klaedtke,%20Felix&Leue,%20Stefan&rft.isbn=978-3-642-04760-2&978-3-642-04761-9&rft.genre=proceeding&rft_id=info:doi/10.1007/978-3-642-04761-9_19&rft.btitle=Automated%20technology%20for%20verification%20and%20analysis%20:%207th%20international%20symposium%20:%20proceedings
Files in this item
| Files | Size | Format | Open in viewer |
|---|---|---|---|
|
There are no files associated with this item. |
|||
Publication type
-
Conference Paper [35331]