HTML results from the Model Checking Contest @ Petri Net (2014 edition)

TitleHTML results from the Model Checking Contest @ Petri Net (2014 edition)
Publication TypeMiscellaneous
Year of Publication2014
AuthorsKordon, F., Garavel H., Hillah L-M., Hulin-Hubard F., Linard A., Beccuti M., Evangelista S., Hamez A., Lohmann N., E. Bóbeda Lopez, Paviot-Adet E., Rodriguez C., Rohr C., and Srba J.