Show simple item record

dc.contributor.author
Schuppan, Viktor
dc.contributor.author
Biere, Armin
dc.date.accessioned
2017-06-11T16:24:16Z
dc.date.available
2017-06-11T16:24:16Z
dc.date.issued
2004
dc.identifier.issn
1433-2779
dc.identifier.issn
1433-2787
dc.identifier.other
10.1007/s10009-003-0121-x
dc.identifier.uri
http://hdl.handle.net/20.500.11850/98698
dc.language.iso
en
dc.publisher
Springer
dc.subject
Liveness
dc.subject
Safety
dc.subject
Linear temporal logic
dc.subject
Model checking
dc.title
Efficient reduction of finite state model checking to reachability analysis
dc.type
Journal Article
ethz.journal.title
International Journal on Software Tools for Technology Transfer
ethz.journal.volume
5
ethz.journal.issue
2-3
ethz.journal.abbreviated
Int. j. softw. tools technol. transf.
ethz.pages.start
185
ethz.pages.end
204
ethz.notes
.
ethz.identifier.nebis
001907129
ethz.publication.place
Heidelberg
ethz.publication.status
published
ethz.date.deposited
2017-06-11T16:24:33Z
ethz.source
ECIT
ethz.identifier.importid
imp593652fa59f7696355
ethz.ecitpid
pub:154336
ethz.eth
yes
ethz.availability
Metadata only
ethz.rosetta.installDate
2017-07-12T20:37:52Z
ethz.rosetta.lastUpdated
2018-08-02T15:52:15Z
ethz.rosetta.versionExported
true
ethz.COinS
ctx_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.atitle=Efficient%20reduction%20of%20finite%20state%20model%20checking%20to%20reachability%20analysis&rft.jtitle=International%20Journal%20on%20Software%20Tools%20for%20Technology%20Transfer&rft.date=2004&rft.volume=5&rft.issue=2-3&rft.spage=185&rft.epage=204&rft.issn=1433-2779&1433-2787&rft.au=Schuppan,%20Viktor&Biere,%20Armin&rft.genre=article&
 Search via SFX

Files in this item

FilesSizeFormatOpen in viewer

There are no files associated with this item.

Publication type

Show simple item record