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

doi:10.1007/978-3-662-58381-4_9

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

^*Corresponding author for this work

Research output: Contribution to book/anthology/report/conference proceeding › Book chapter › Research › peer-review

10 Citations (Scopus)

Original language	English
Title of host publication	Transactions on Petri Nets and Other Models of Concurrency XIII
Editors	Maciej Koutny, Lars Michael Kristensen, Wojciech Penczek
Number of pages	29
Publisher	Springer
Publication date	1 Jan 2018
Pages	181-209
ISBN (Print)	978-3-662-58380-7
ISBN (Electronic)	978-3-662-58381-4
DOIs	https://doi.org/10.1007/978-3-662-58381-4_9
Publication status	Published - 1 Jan 2018

Series	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	11090 LNCS
ISSN	0302-9743

Access to Document

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

AUB Link

Search for the material in Aalborg University Library's search engine

Cite this

Kordon, F., Garavel, H., Hillah, L. M., Paviot-Adet, E., Jezequel, L., Hulin-Hubard, F., Amparore, E., Beccuti, M., Berthomieu, B., Evrard, H., Jensen, P. G., 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. In M. Koutny, L. M. Kristensen, & W. Penczek (Eds.), Transactions on Petri Nets and Other Models of Concurrency XIII (pp. 181-209). Springer. https://doi.org/10.1007/978-3-662-58381-4_9

Kordon, Fabrice ; Garavel, Hubert ; Hillah, Lom Messan et al. / MCC’2017 : The Seventh Model Checking Contest. Transactions on Petri Nets and Other Models of Concurrency XIII. editor / Maciej Koutny ; Lars Michael Kristensen ; Wojciech Penczek. Springer, 2018. pp. 181-209 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 11090 LNCS).

@inbook{baf6054a96fd4512b8c814fe186e1bb4,

title = "MCC{\textquoteright}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{\v r}{\'i} Srba and Yann Thierry-Mieg and {van de Pol}, Jaco and Karsten Wolf",

year = "2018",

month = jan,

day = "1",

doi = "10.1007/978-3-662-58381-4_9",

language = "English",

isbn = "978-3-662-58380-7",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer",

pages = "181--209",

editor = "Maciej Koutny and Kristensen, {Lars Michael} and Wojciech Penczek",

booktitle = "Transactions on Petri Nets and Other Models of Concurrency XIII",

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. in M Koutny, LM Kristensen & W Penczek (eds), 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), vol. 11090 LNCS, pp. 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 et al.
Transactions on Petri Nets and Other Models of Concurrency XIII. ed. / Maciej Koutny; Lars Michael Kristensen; Wojciech Penczek. Springer, 2018. p. 181-209 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 11090 LNCS).

Research output: Contribution to book/anthology/report/conference proceeding › Book chapter › Research › peer-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

AN - SCOPUS:85057201447

SN - 978-3-662-58380-7

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

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. In Koutny M, Kristensen LM, Penczek W, editors, Transactions on Petri Nets and Other Models of Concurrency XIII. Springer. 2018. p. 181-209. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 11090 LNCS). doi: 10.1007/978-3-662-58381-4_9

MCC’2017: The Seventh Model Checking Contest

Access to Document

AUB Link

Other files and links

Cite this