Sciweavers

ERCIM
2008

Web Services for Accessing Explicit State Space Verification Tools

13 years 11 months ago
Web Services for Accessing Explicit State Space Verification Tools
María-del-Mar Gallardo, Christophe Joubert,
Added 10 Dec 2010
Updated 10 Dec 2010
Type Journal
Year 2008
Where ERCIM
Authors María-del-Mar Gallardo, Christophe Joubert, Pedro Merino, David Sanán
Comments (0)