MCC’2017: The Seventh Model Checking Contest

Fabrice Kordon*, Hubert Garavel, Lom Messan Hillah, Emmanuel Paviot-Adet, Loïg Jezequel, Francis Hulin-Hubard, Elvio Amparore, Marco Beccuti, Bernard Berthomieu, Hugues Evrard, Peter G. Jensen, Didier Le Botlan, Torsten Liebke, Jeroen Meijer, Jiří Srba, Yann Thierry-Mieg, Jaco van de Pol, Karsten Wolf

*Kontaktforfatter

Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til bog/antologiForskningpeer review

4 Citationer (Scopus)
OriginalsprogEngelsk
TitelTransactions on Petri Nets and Other Models of Concurrency XIII
RedaktørerMaciej Koutny, Lars Michael Kristensen, Wojciech Penczek
Antal sider29
ForlagSpringer
Publikationsdato1 jan. 2018
Sider181-209
ISBN (Trykt)978-3-662-58380-7
ISBN (Elektronisk)978-3-662-58381-4
DOI
StatusUdgivet - 1 jan. 2018
NavnLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Vol/bind11090 LNCS
ISSN0302-9743

Citationsformater