Roméo: A Tool for Analyzing time Petri nets (2005)

by Guillaume Gardey, Didier Lime, Morgan Magnin, Olivier (h. Roux
Venue:In Proc. CAV’05, vol. 3576 of LNCS