Sciweavers

52
Voted
AMAST
1995
Springer

Petri Nets, Traces, and Local Model Checking

15 years 14 days ago
Petri Nets, Traces, and Local Model Checking
Allan Cheng
Added 25 Aug 2010
Updated 25 Aug 2010
Type Conference
Year 1995
Where AMAST
Authors Allan Cheng
Comments (0)