%0 Conference Paper %1 conf/formats/TraonouezLR08 %A Traonouez, Louis-Marie %A Lime, Didier %A Roux, Olivier H. %B FORMATS %D 2008 %E Cassez, Franck %E Jard, Claude %I Springer %K dblp %P 280-294 %T Parametric Model-Checking of Time Petri Nets with Stopwatches Using the State-Class Graph. %U http://dblp.uni-trier.de/db/conf/formats/formats2008.html#TraonouezLR08 %V 5215 %@ 978-3-540-85777-8

@inproceedings{conf/formats/TraonouezLR08, added-at = {2018-11-02T00:00:00.000+0100}, author = {Traonouez, Louis-Marie and Lime, Didier and Roux, Olivier H.}, biburl = {https://www.bibsonomy.org/bibtex/2f666dd6b81f60d833b7681f9bc815056/dblp}, booktitle = {FORMATS}, crossref = {conf/formats/2008}, editor = {Cassez, Franck and Jard, Claude}, ee = {https://doi.org/10.1007/978-3-540-85778-5_20}, interhash = {877c1b4d3469f7bff0981efa877bba32}, intrahash = {f666dd6b81f60d833b7681f9bc815056}, isbn = {978-3-540-85777-8}, keywords = {dblp}, pages = {280-294}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T14:44:19.000+0200}, title = {Parametric Model-Checking of Time Petri Nets with Stopwatches Using the State-Class Graph.}, url = {http://dblp.uni-trier.de/db/conf/formats/formats2008.html#TraonouezLR08}, volume = 5215, year = 2008 }