Sciweavers

AMAST
1995
Springer

Petri Nets, Traces, and Local Model Checking

15 years 12 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)