Sciweavers

TSE
2002

An Automated Verification Method for Distributed Systems Software Based on Model Extraction

13 years 9 months ago
An Automated Verification Method for Distributed Systems Software Based on Model Extraction
Gerard J. Holzmann, Margaret H. Smith
Added 23 Dec 2010
Updated 23 Dec 2010
Type Journal
Year 2002
Where TSE
Authors Gerard J. Holzmann, Margaret H. Smith
Comments (0)