Sciweavers

APN
2007
Springer

From Many Places to Few: Automatic Abstraction Refinement for Petri Nets

14 years 5 months ago
From Many Places to Few: Automatic Abstraction Refinement for Petri Nets
Pierre Ganty, Jean-François Raskin, Laurent
Added 07 Jun 2010
Updated 07 Jun 2010
Type Conference
Year 2007
Where APN
Authors Pierre Ganty, Jean-François Raskin, Laurent Van Begin
Comments (0)