Report on the Model Checking Contest at Petri Nets 2011
dc.contributor.author
Kordon, Fabrice
dc.contributor.author
Linard, Alban
dc.contributor.author
Buchs, Didier
dc.contributor.author
Collange, Maximilien
dc.contributor.author
Evangelista, Sami
dc.contributor.author
Jensen, Jonas F.
dc.contributor.author
Lampka, Kai
dc.contributor.author
Lohmann, Niels
dc.contributor.author
Paviot-Adet, Emmanuel
dc.contributor.author
Thierry-Mieg, Yann
dc.contributor.author
Wimmel, Harro
dc.date.accessioned
2017-06-10T10:51:13Z
dc.date.available
2017-06-10T10:51:13Z
dc.date.issued
2012
dc.identifier.issn
0302-9743
dc.identifier.issn
1611-3349
dc.identifier.other
10.1007/978-3-642-35179-2_8
dc.identifier.uri
http://hdl.handle.net/20.500.11850/58262
dc.language.iso
en
dc.publisher
Springer
dc.subject
Petri Nets
dc.subject
Model Checking
dc.subject
Contest
dc.title
Report on the Model Checking Contest at Petri Nets 2011
dc.type
Conference Paper
ethz.book.title
Transactions on Petri Nets and Other Models of Concurrency VI
ethz.journal.title
Lecture Notes in Computer Science
ethz.journal.volume
7400
ethz.journal.abbreviated
LNCS
ethz.pages.start
169
ethz.pages.end
196
ethz.event
32nd International Conference on Application and Theory of Petri Nets and Concurrency
ethz.event.location
Newcastle upon Tyne, United Kingdom
ethz.event.date
June 20-24, 2011
ethz.identifier.nebis
005538193
ethz.publication.place
Berlin
ethz.publication.status
published
ethz.leitzahl
ETH Zürich::00002 - ETH Zürich::00012 - Lehre und Forschung::00007 - Departemente::02140 - Dep. Inf.technologie und Elektrotechnik / Dep. of Inform.Technol. Electrical Eng.::02640 - Inst. f. Technische Informatik und Komm. / Computer Eng. and Networks Lab.::03429 - Thiele, Lothar (emeritus) / Thiele, Lothar (emeritus)
ethz.leitzahl.certified
ETH Zürich::00002 - ETH Zürich::00012 - Lehre und Forschung::00007 - Departemente::02140 - Dep. Inf.technologie und Elektrotechnik / Dep. of Inform.Technol. Electrical Eng.::02640 - Inst. f. Technische Informatik und Komm. / Computer Eng. and Networks Lab.::03429 - Thiele, Lothar (emeritus) / Thiele, Lothar (emeritus)
ethz.date.deposited
2017-06-10T10:52:59Z
ethz.source
ECIT
ethz.identifier.importid
imp59364ff7458c899210
ethz.ecitpid
pub:93125
ethz.eth
no
ethz.availability
Metadata only
ethz.rosetta.installDate
2017-07-12T14:46:42Z
ethz.rosetta.lastUpdated
2024-02-01T19:40:46Z
ethz.rosetta.versionExported
true
ethz.COinS
ctx_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.atitle=Report%20on%20the%20Model%20Checking%20Contest%20at%20Petri%20Nets%202011&rft.jtitle=Lecture%20Notes%20in%20Computer%20Science&rft.date=2012&rft.volume=7400&rft.spage=169&rft.epage=196&rft.issn=0302-9743&1611-3349&rft.au=Kordon,%20Fabrice&Linard,%20Alban&Buchs,%20Didier&Collange,%20Maximilien&Evangelista,%20Sami&rft.genre=proceeding&rft_id=info:doi/10.1007/978-3-642-35179-2_8&rft.btitle=Transactions%20on%20Petri%20Nets%20and%20Other%20Models%20of%20Concurrency%20VI
Files in this item
| Files | Size | Format | Open in viewer |
|---|---|---|---|
|
There are no files associated with this item. |
|||
Publication type
-
Conference Paper [35301]