![](/img/cover-not-exists.png)
Symbolic unfolding of parametric stopwatch Petri nets
Jard, Claude, Lime, Didier, Roux, Olivier H., Traonouez, Louis-MarieVolume:
43
Language:
english
Journal:
Formal Methods in System Design
DOI:
10.1007/s10703-013-0188-2
Date:
December, 2013
File:
PDF, 942 KB
english, 2013