%0 Journal Article %1 journals/jucs/TraonouezLR09 %A Traonouez, Louis-Marie %A Lime, Didier %A Roux, Olivier H. %D 2009 %J J. Univers. Comput. Sci. %K dblp %N 17 %P 3273-3304 %T Parametric Model-Checking of Stopwatch Petri Nets. %U http://dblp.uni-trier.de/db/journals/jucs/jucs15.html#TraonouezLR09 %V 15

@article{journals/jucs/TraonouezLR09, added-at = {2023-09-07T00:00:00.000+0200}, author = {Traonouez, Louis-Marie and Lime, Didier and Roux, Olivier H.}, biburl = {https://www.bibsonomy.org/bibtex/278f4b7b336f15f428181453520400bf4/dblp}, ee = {https://doi.org/10.3217/jucs-015-17-3273}, interhash = {dbdefc718db3b7f55f5b12387f6653ff}, intrahash = {78f4b7b336f15f428181453520400bf4}, journal = {J. Univers. Comput. Sci.}, keywords = {dblp}, number = 17, pages = {3273-3304}, timestamp = {2024-04-08T15:58:08.000+0200}, title = {Parametric Model-Checking of Stopwatch Petri Nets.}, url = {http://dblp.uni-trier.de/db/journals/jucs/jucs15.html#TraonouezLR09}, volume = 15, year = 2009 }