Theoretical and practical aspects of SPIN model checking :
- Publisher: Springer
- Print ISSN:
- Electronic ISSN:
- OCLC Number: 42790950
- Subject: Computer software Verification Congresses.
- Subject code: QA
- Publication history:
Print Holdings
| Archiving Institution | Program | Holdings Description | Retention |
|---|---|---|---|
| HathiTrust (HATHI) | HTDL | 2000 (7th); 1999 (5th-6th) | permanent |