Sciweavers

ENTCS
2007

ReSpecT Nets: Towards an Analysis Methodology for ReSpecT Specifications

15 years 5 days 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)