printlogo
ETH Zuerich - Homepage
Computer Engineering and Networks Laboratory (TIK)
 
ETH Zurich - ITET - TIK - Publications
print
  

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

top
© 2017 Laboratory TIK, ETH Zurich | Imprint | Last updated on Fri, 28 Apr, 2017 08:18 | t=0.0049s | Valid HTML 4.01