Romeo: A Parametric Model-Checker for Petri Nets with Stopwatches.

Didier Lime, Olivier H. Roux, Charlotte Seidner, Louis-Marie Traonouez

Browse the full TACAS paper archive.