Report on the model checking contest at Petri Nets 2011

by F. Kordon , A. Linard , D. Buchs , M. Colange , S. Evangelista , K. Lampka , N. Lohmann , E. Paviot-adet , Y. Thierry-mieg , H. Wimmel
Venue:LNCS ToPNoC
Citations:7 - 4 self