Model Checking Almost All Paths Can Be Less Expensive Than Checking All Paths
dc.contributor.author
Schmalz, Matthias
dc.contributor.author
Völzer, Hagen
dc.contributor.author
Varacca, Daniele
dc.contributor.editor
Arvind, V.
dc.contributor.editor
Prasad, Sanjiva
dc.date.accessioned
2017-06-08T17:01:33Z
dc.date.available
2017-06-08T17:01:33Z
dc.date.issued
2007
dc.identifier.isbn
978-3-540-77049-7
dc.identifier.isbn
978-3-540-77050-3
dc.identifier.issn
0302-9743
dc.identifier.issn
1611-3349
dc.identifier.other
10.1007/978-3-540-77050-3_44
dc.identifier.uri
http://hdl.handle.net/20.500.11850/5466
dc.language.iso
en
dc.publisher
Springer
dc.title
Model Checking Almost All Paths Can Be Less Expensive Than Checking All Paths
dc.type
Conference Paper
ethz.book.title
Foundations of software technology and theoretical computer science : 27th international conference : proceedings
ethz.journal.title
Lecture Notes in Computer Science
ethz.journal.volume
4855
ethz.journal.abbreviated
LNCS
ethz.pages.start
532
ethz.pages.end
543
ethz.event
27th International Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2007)
ethz.event.location
New Delhi, India
ethz.event.date
December 12-14, 2007
ethz.identifier.nebis
005537730
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-08T17:02:00Z
ethz.source
ECIT
ethz.identifier.importid
imp59364b8e1050585924
ethz.ecitpid
pub:15754
ethz.eth
yes
ethz.availability
Metadata only
ethz.rosetta.installDate
2017-07-14T12:41:02Z
ethz.rosetta.lastUpdated
2024-02-01T14:23:18Z
ethz.rosetta.versionExported
true
ethz.COinS
ctx_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.atitle=Model%20Checking%20Almost%20All%20Paths%20Can%20Be%20Less%20Expensive%20Than%20Checking%20All%20Paths&rft.jtitle=Lecture%20Notes%20in%20Computer%20Science&rft.date=2007&rft.volume=4855&rft.spage=532&rft.epage=543&rft.issn=0302-9743&1611-3349&rft.au=Schmalz,%20Matthias&V%C3%B6lzer,%20Hagen&Varacca,%20Daniele&rft.isbn=978-3-540-77049-7&978-3-540-77050-3&rft.genre=proceeding&rft_id=info:doi/10.1007/978-3-540-77050-3_44&rft.btitle=Foundations%20of%20software%20technology%20and%20theoretical%20computer%20science%20:%2027th%20international%20conference%20:%20proceedings
Files in this item
| Files | Size | Format | Open in viewer |
|---|---|---|---|
|
There are no files associated with this item. |
|||
Publication type
-
Conference Paper [34969]