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

1 Citation (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

Fingerprint

edition
Spain
evaluation
software

Citer dette

Kordon, F., Garavel, H., Hillah, L. M., Paviot-Adet, E., Jezequel, L., Hulin-Hubard, F., ... Wolf, K. (2018). MCC’2017: The Seventh Model Checking Contest. I M. Koutny, L. M. Kristensen, & W. Penczek (red.), Transactions on Petri Nets and Other Models of Concurrency XIII (s. 181-209). Springer. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind. 11090 LNCS https://doi.org/10.1007/978-3-662-58381-4_9
Kordon, Fabrice ; Garavel, Hubert ; Hillah, Lom Messan ; Paviot-Adet, Emmanuel ; Jezequel, Loïg ; Hulin-Hubard, Francis ; Amparore, Elvio ; Beccuti, Marco ; Berthomieu, Bernard ; Evrard, Hugues ; Jensen, Peter G. ; Le Botlan, Didier ; Liebke, Torsten ; Meijer, Jeroen ; Srba, Jiří ; Thierry-Mieg, Yann ; van de Pol, Jaco ; Wolf, Karsten. / MCC’2017 : The Seventh Model Checking Contest. Transactions on Petri Nets and Other Models of Concurrency XIII. red. / Maciej Koutny ; Lars Michael Kristensen ; Wojciech Penczek. Springer, 2018. s. 181-209 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 11090 LNCS).
@inbook{baf6054a96fd4512b8c814fe186e1bb4,
title = "MCC’2017: The Seventh Model Checking Contest",
author = "Fabrice Kordon and Hubert Garavel and Hillah, {Lom Messan} and Emmanuel Paviot-Adet and Lo{\"i}g Jezequel and Francis Hulin-Hubard and Elvio Amparore and Marco Beccuti and Bernard Berthomieu and Hugues Evrard and Jensen, {Peter G.} and {Le Botlan}, Didier and Torsten Liebke and Jeroen Meijer and Jiř{\'i} Srba and Yann Thierry-Mieg and {van de Pol}, Jaco and Karsten Wolf",
year = "2018",
month = "1",
day = "1",
doi = "10.1007/978-3-662-58381-4_9",
language = "English",
isbn = "978-3-662-58380-7",
pages = "181--209",
editor = "Maciej Koutny and Kristensen, {Lars Michael} and Wojciech Penczek",
booktitle = "Transactions on Petri Nets and Other Models of Concurrency XIII",
publisher = "Springer",
address = "Germany",

}

Kordon, F, Garavel, H, Hillah, LM, Paviot-Adet, E, Jezequel, L, Hulin-Hubard, F, Amparore, E, Beccuti, M, Berthomieu, B, Evrard, H, Jensen, PG, Le Botlan, D, Liebke, T, Meijer, J, Srba, J, Thierry-Mieg, Y, van de Pol, J & Wolf, K 2018, MCC’2017: The Seventh Model Checking Contest. i M Koutny, LM Kristensen & W Penczek (red), Transactions on Petri Nets and Other Models of Concurrency XIII. Springer, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), bind 11090 LNCS, s. 181-209. https://doi.org/10.1007/978-3-662-58381-4_9

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

Transactions on Petri Nets and Other Models of Concurrency XIII. red. / Maciej Koutny; Lars Michael Kristensen; Wojciech Penczek. Springer, 2018. s. 181-209 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 11090 LNCS).

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

TY - CHAP

T1 - MCC’2017

T2 - The Seventh Model Checking Contest

AU - Kordon, Fabrice

AU - Garavel, Hubert

AU - Hillah, Lom Messan

AU - Paviot-Adet, Emmanuel

AU - Jezequel, Loïg

AU - Hulin-Hubard, Francis

AU - Amparore, Elvio

AU - Beccuti, Marco

AU - Berthomieu, Bernard

AU - Evrard, Hugues

AU - Jensen, Peter G.

AU - Le Botlan, Didier

AU - Liebke, Torsten

AU - Meijer, Jeroen

AU - Srba, Jiří

AU - Thierry-Mieg, Yann

AU - van de Pol, Jaco

AU - Wolf, Karsten

PY - 2018/1/1

Y1 - 2018/1/1

UR - http://www.scopus.com/inward/record.url?scp=85057201447&partnerID=8YFLogxK

U2 - 10.1007/978-3-662-58381-4_9

DO - 10.1007/978-3-662-58381-4_9

M3 - Book chapter

SN - 978-3-662-58380-7

SP - 181

EP - 209

BT - Transactions on Petri Nets and Other Models of Concurrency XIII

A2 - Koutny, Maciej

A2 - Kristensen, Lars Michael

A2 - Penczek, Wojciech

PB - Springer

ER -

Kordon F, Garavel H, Hillah LM, Paviot-Adet E, Jezequel L, Hulin-Hubard F et al. MCC’2017: The Seventh Model Checking Contest. I Koutny M, Kristensen LM, Penczek W, red., Transactions on Petri Nets and Other Models of Concurrency XIII. Springer. 2018. s. 181-209. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 11090 LNCS). https://doi.org/10.1007/978-3-662-58381-4_9