Scopus
EXPORT DATE: 5 December 2018

@ARTICLE{Kordon2018181,
author={Kordon, F. and Garavel, H. and Hillah, L.M. and Paviot-Adet, E. and Jezequel, L. and Hulin-Hubard, F. and Amparore, E. and Beccuti, M. and Berthomieu, B. and Evrard, H. and Jensen, P.G. and Le Botlan, D. and Liebke, T. and Meijer, J. and Srba, J. and Thierry-Mieg, Y. and van de Pol, J. and Wolf, K.},
title={MCC’2017 – The Seventh Model Checking Contest},
journal={Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)},
year={2018},
volume={11090 LNCS},
pages={181-209},
doi={10.1007/978-3-662-58381-4_9},
note={cited By 0},
url={https://www.scopus.com/inward/record.uri?eid=2-s2.0-85057201447&doi=10.1007%2f978-3-662-58381-4_9&partnerID=40&md5=c4cc6f000c751d37e8b1ffcdba768957},
document_type={Book Chapter},
source={Scopus},
}