printlogo
ETH Zuerich - Homepage
Computer Engineering and Networks Laboratory (TIK)
  

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