Show simple item record

dc.contributor.author
Paulevé, Loic
dc.contributor.author
Andrieux, Geoffroy
dc.contributor.author
Koeppl, Heinz
dc.date.accessioned
2017-06-11T04:21:37Z
dc.date.available
2017-06-11T04:21:37Z
dc.date.issued
2013
dc.identifier.isbn
978-3-642-39798-1
dc.identifier.isbn
978-3-642-39799-8
dc.identifier.issn
0302-9743
dc.identifier.issn
1611-3349
dc.identifier.other
10.1007/978-3-642-39799-8_4
dc.identifier.uri
http://hdl.handle.net/20.500.11850/79723
dc.language.iso
en
dc.publisher
Springer
dc.subject
LTL synthesis
dc.subject
Algorithms
dc.subject
Automata
dc.subject
Model checking
dc.subject
Verification tools
dc.title
Under-approximating cut sets for reachability in large scale automata Networks
dc.type
Conference Paper
ethz.book.title
Computer Aided Verification : 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013. Proceedings
ethz.journal.title
Lecture Notes in Computer Science
ethz.journal.volume
8044
ethz.journal.abbreviated
LNCS
ethz.pages.start
69
ethz.pages.end
84
ethz.event
25th International Conference on Computer Aided Verification (CAV 2013)
ethz.event.location
Saint Petersburg, Russia
ethz.event.date
July 13-19, 2013
ethz.notes
.
ethz.identifier.nebis
009983011
ethz.publication.place
Berlin ; Heidelberg
ethz.publication.status
published
ethz.leitzahl
03883 - Köppl, Heinz Wolfgang (SNF-Professur)
ethz.leitzahl.certified
03883 - Köppl, Heinz Wolfgang (SNF-Professur)
ethz.date.deposited
2017-06-11T04:21:54Z
ethz.source
ECIT
ethz.identifier.importid
imp59365192b932092490
ethz.ecitpid
pub:125152
ethz.eth
yes
ethz.availability
Metadata only
ethz.rosetta.installDate
2017-07-26T06:18:18Z
ethz.rosetta.lastUpdated
2018-11-02T13:14:02Z
ethz.rosetta.versionExported
true
ethz.COinS
ctx_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.atitle=Under-approximating%20cut%20sets%20for%20reachability%20in%20large%20scale%20automata%20Networks&rft.jtitle=Lecture%20Notes%20in%20Computer%20Science&rft.date=2013&rft.volume=8044&rft.spage=69&rft.epage=84&rft.issn=0302-9743&1611-3349&rft.au=Paulev%C3%A9,%20Loic&Andrieux,%20Geoffroy&Koeppl,%20Heinz&rft.isbn=978-3-642-39798-1&978-3-642-39799-8&rft.genre=proceeding&rft_id=info:doi/978-3-642-39798-1&info:doi/978-3-642-39799-8&rft.btitle=Computer%20Aided%20Verification%20:%2025th%20International%20Conference,%20CAV%202013,%20Saint%20Petersburg,%20Russia,%20July%2013-19,%202013.%20Proceedings
 Search via SFX

Files in this item

FilesSizeFormatOpen in viewer

There are no files associated with this item.

Publication type

Show simple item record