%0 Conference Paper %1 conf/rp/ReynierS19 %A Reynier, Pierre-Alain %A Servais, Frédéric %B RP %D 2019 %E Filiot, Emmanuel %E Jungers, Raphaël M. %E Potapov, Igor %I Springer %K dblp %P 164-177 %T On the Computation of the Minimal Coverability Set of Petri Nets. %U http://dblp.uni-trier.de/db/conf/rp/rp2019.html#ReynierS19 %V 11674 %@ 978-3-030-30806-3

@inproceedings{conf/rp/ReynierS19, added-at = {2019-09-09T00:00:00.000+0200}, author = {Reynier, Pierre-Alain and Servais, Frédéric}, biburl = {https://www.bibsonomy.org/bibtex/242e42828170eb700ef495c5e5cd0a742/dblp}, booktitle = {RP}, crossref = {conf/rp/2019}, editor = {Filiot, Emmanuel and Jungers, Raphaël M. and Potapov, Igor}, ee = {https://doi.org/10.1007/978-3-030-30806-3_13}, interhash = {d08560dd581c95a9eef62293ab3768a3}, intrahash = {42e42828170eb700ef495c5e5cd0a742}, isbn = {978-3-030-30806-3}, keywords = {dblp}, pages = {164-177}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-09-10T11:46:25.000+0200}, title = {On the Computation of the Minimal Coverability Set of Petri Nets.}, url = {http://dblp.uni-trier.de/db/conf/rp/rp2019.html#ReynierS19}, volume = 11674, year = 2019 }