List of Publications in BibTeX Format sorted by "Year"
Back
1 entry found.
@article{,
author = {Fabrice Kordon and Alban Linard and Didier Buchs and Maximilien Collange and Sami Evangelista and Jonas F. Jensen and Kai Lampka and Niels Lohmann and Emmanuel Paviot-Adet and Yann Thierry-Mieg and Harro Wimmel},
title = {Report on the Model Checking Contest at Petri Nets 2011},
journal = {Lecture Notes in Computer Science. Transactions on Petri Nets and Other Models of Concurrency IV, ISSN 1867-7193},
pages = {169--196},
volume = {7400},
month = {May},
year = {2012}
}
1 entry found.
Back