%0 Conference Paper %1 conf/apn/GantyRB07 %A Ganty, Pierre %A Raskin, Jean-François %A Begin, Laurent Van %B ICATPN %D 2007 %E Kleijn, Jetty %E Yakovlev, Alexandre %I Springer %K dblp %P 124-143 %T From Many Places to Few: Automatic Abstraction Refinement for Petri Nets. %U http://dblp.uni-trier.de/db/conf/apn/icatpn2007.html#GantyRB07 %V 4546 %@ 978-3-540-73093-4

@inproceedings{conf/apn/GantyRB07, added-at = {2017-05-26T00:00:00.000+0200}, author = {Ganty, Pierre and Raskin, Jean-François and Begin, Laurent Van}, biburl = {https://www.bibsonomy.org/bibtex/2ad838fe55cadeadf9098b6ea0ec0c58a/dblp}, booktitle = {ICATPN}, crossref = {conf/apn/2007}, editor = {Kleijn, Jetty and Yakovlev, Alexandre}, ee = {https://doi.org/10.1007/978-3-540-73094-1_10}, interhash = {d2eb59b5ae429cd0936ac7f81d6fc831}, intrahash = {ad838fe55cadeadf9098b6ea0ec0c58a}, isbn = {978-3-540-73093-4}, keywords = {dblp}, pages = {124-143}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2017-05-27T13:28:00.000+0200}, title = {From Many Places to Few: Automatic Abstraction Refinement for Petri Nets.}, url = {http://dblp.uni-trier.de/db/conf/apn/icatpn2007.html#GantyRB07}, volume = 4546, year = 2007 }