Sciweavers

ENTCS
2007

ReSpecT Nets: Towards an Analysis Methodology for ReSpecT Specifications

13 years 3 months ago
ReSpecT Nets: Towards an Analysis Methodology for ReSpecT Specifications
Mirko Viroli, Andrea Omicini
Added 13 Dec 2010
Updated 13 Dec 2010
Type Journal
Year 2007
Where ENTCS
Authors Mirko Viroli, Andrea Omicini
Comments (0)