Louis-Marie Traonouez, Didier Lime, Olivier H. Roux. Parametric Model-Checking of Stopwatch Petri Nets. J. UCS, 15(17):3273-3304, 2009. [doi]
@article{TraonouezLR09,
title = {Parametric Model-Checking of Stopwatch Petri Nets},
author = {Louis-Marie Traonouez and Didier Lime and Olivier H. Roux},
year = {2009},
doi = {10.3217/jucs-015-17-3273},
url = {http://dx.doi.org/10.3217/jucs-015-17-3273},
tags = {model checking, meta-model, Meta-Environment},
researchr = {https://researchr.org/publication/TraonouezLR09},
cites = {0},
citedby = {0},
journal = {J. UCS},
volume = {15},
number = {17},
pages = {3273-3304},
}