%0 Conference Paper %1 conf/atva/GeeraertsRB07 %A Geeraerts, Gilles %A Raskin, Jean-François %A Begin, Laurent Van %B ATVA %D 2007 %E Namjoshi, Kedar S. %E Yoneda, Tomohiro %E Higashino, Teruo %E Okamura, Yoshio %I Springer %K dblp %P 98-113 %T On the Efficient Computation of the Minimal Coverability Set for Petri Nets. %U http://dblp.uni-trier.de/db/conf/atva/atva2007.html#GeeraertsRB07 %V 4762 %@ 978-3-540-75595-1

@inproceedings{conf/atva/GeeraertsRB07, added-at = {2017-05-21T00:00:00.000+0200}, author = {Geeraerts, Gilles and Raskin, Jean-François and Begin, Laurent Van}, biburl = {https://www.bibsonomy.org/bibtex/2d323c0048b9a57d76c5ac9509c2f7c42/dblp}, booktitle = {ATVA}, crossref = {conf/atva/2007}, editor = {Namjoshi, Kedar S. and Yoneda, Tomohiro and Higashino, Teruo and Okamura, Yoshio}, ee = {https://doi.org/10.1007/978-3-540-75596-8_9}, interhash = {6804abd61613aff8408ca442070ee0b5}, intrahash = {d323c0048b9a57d76c5ac9509c2f7c42}, isbn = {978-3-540-75595-1}, keywords = {dblp}, pages = {98-113}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T13:00:53.000+0200}, title = {On the Efficient Computation of the Minimal Coverability Set for Petri Nets.}, url = {http://dblp.uni-trier.de/db/conf/atva/atva2007.html#GeeraertsRB07}, volume = 4762, year = 2007 }