%0 Conference Paper %1 conf/apn/LimeRS19 %A Lime, Didier %A Roux, Olivier H. %A Seidner, Charlotte %B Petri Nets %D 2019 %E Donatelli, Susanna %E Haar, Stefan %I Springer %K dblp %P 406-425 %T Parameter Synthesis for Bounded Cost Reachability in Time Petri Nets. %U http://dblp.uni-trier.de/db/conf/apn/pn2019.html#LimeRS19 %V 11522 %@ 978-3-030-21571-2

@inproceedings{conf/apn/LimeRS19, added-at = {2019-10-19T00:00:00.000+0200}, author = {Lime, Didier and Roux, Olivier H. and Seidner, Charlotte}, biburl = {https://www.bibsonomy.org/bibtex/20df801ba18662fedad9d6bebfe365393/dblp}, booktitle = {Petri Nets}, crossref = {conf/apn/2019}, editor = {Donatelli, Susanna and Haar, Stefan}, ee = {https://doi.org/10.1007/978-3-030-21571-2_22}, interhash = {0349d3036864203b4e8e1241f29e3d1c}, intrahash = {0df801ba18662fedad9d6bebfe365393}, isbn = {978-3-030-21571-2}, keywords = {dblp}, pages = {406-425}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-10-22T13:56:29.000+0200}, title = {Parameter Synthesis for Bounded Cost Reachability in Time Petri Nets.}, url = {http://dblp.uni-trier.de/db/conf/apn/pn2019.html#LimeRS19}, volume = 11522, year = 2019 }