DMCA

Parametric model-checking of stopwatch Petri nets (2009)

by Louis-marie Traonouez , Olivier (h. Roux
Venue:Journal of Universal Computer Science
Citations:9 - 3 self