@article{DBLP:journals/fuin/GantyRB08,
author = {Pierre Ganty and
Jean-Fran\c{c}ois Raskin and
Laurent Van Begin},
title = {From Many Places to Few: Automatic Abstraction Refinement
for Petri Nets},
journal = {Fundam. Inform.},
volume = {88},
number = {3},
year = {2008},
pages = {275-305},
ee = {http://iospress.metapress.com/content/b5528363p8177604/},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Last update 2009-06-09 CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
