%0 Conference Paper %1 conf/bpm/GhilardiGMR20 %A Ghilardi, Silvio %A Gianola, Alessandro %A Montali, Marco %A Rivkin, Andrey %B BPM %D 2020 %E Fahland, Dirk %E Ghidini, Chiara %E Becker, Jörg %E Dumas, Marlon %I Springer %K dblp %P 55-74 %T Petri Nets with Parameterised Data - Modelling and Verification. %U http://dblp.uni-trier.de/db/conf/bpm/bpm2020.html#GhilardiGMR20 %V 12168 %@ 978-3-030-58666-9

@inproceedings{conf/bpm/GhilardiGMR20, added-at = {2020-09-08T00:00:00.000+0200}, author = {Ghilardi, Silvio and Gianola, Alessandro and Montali, Marco and Rivkin, Andrey}, biburl = {https://www.bibsonomy.org/bibtex/29d0bd68960d0c6a587a103bfeb6ccca0/dblp}, booktitle = {BPM}, crossref = {conf/bpm/2020}, editor = {Fahland, Dirk and Ghidini, Chiara and Becker, Jörg and Dumas, Marlon}, ee = {https://doi.org/10.1007/978-3-030-58666-9_4}, interhash = {072dbc921011c911da15f766fbd62091}, intrahash = {9d0bd68960d0c6a587a103bfeb6ccca0}, isbn = {978-3-030-58666-9}, keywords = {dblp}, pages = {55-74}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2020-09-09T13:50:45.000+0200}, title = {Petri Nets with Parameterised Data - Modelling and Verification.}, url = {http://dblp.uni-trier.de/db/conf/bpm/bpm2020.html#GhilardiGMR20}, volume = 12168, year = 2020 }