%0 Conference Paper %1 conf/eurocast/CeskaCP17 %A Jr., Milan Ceska %A Ceska, Milan %A Paoletti, Nicola %B EUROCAST (2) %D 2017 %E Moreno-Díaz, Roberto %E Pichler, Franz %E Quesada-Arencibia, Alexis %I Springer %K dblp %P 38-46 %T Precise Parameter Synthesis for Generalised Stochastic Petri Nets with Interval Parameters. %U http://dblp.uni-trier.de/db/conf/eurocast/eurocast2017-2.html#CeskaCP17 %V 10672 %@ 978-3-319-74727-9

@inproceedings{conf/eurocast/CeskaCP17, added-at = {2019-09-25T00:00:00.000+0200}, author = {Jr., Milan Ceska and Ceska, Milan and Paoletti, Nicola}, biburl = {https://www.bibsonomy.org/bibtex/25c82941dc6927d53aaccceb61be76404/dblp}, booktitle = {EUROCAST (2)}, crossref = {conf/eurocast/2017-2}, editor = {Moreno-Díaz, Roberto and Pichler, Franz and Quesada-Arencibia, Alexis}, ee = {https://doi.org/10.1007/978-3-319-74727-9_5}, interhash = {1f5963f71b8f7039437e0d7a7a67a71a}, intrahash = {5c82941dc6927d53aaccceb61be76404}, isbn = {978-3-319-74727-9}, keywords = {dblp}, pages = {38-46}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-09-26T14:14:36.000+0200}, title = {Precise Parameter Synthesis for Generalised Stochastic Petri Nets with Interval Parameters.}, url = {http://dblp.uni-trier.de/db/conf/eurocast/eurocast2017-2.html#CeskaCP17}, volume = 10672, year = 2017 }