Author

Profile picture
Olivier Roux
IRCCyN
Nantes, France
1 article by this author
Sort by:
Parametric ...
Research Article
Parametric Model-Checking of Stopwatch Petri Nets
Louis-Marie Traonouez, Didier Lime, Olivier Roux
10.3217/jucs-015-17-3273
 01-11-2009
 Unique: 578 | Total: 684  | Access Period:
 3273-3304
HTML
XML
PDF

This website uses cookies in order to improve your web experience. Read our Cookies Policy

OK