Published 2002
| Version v1
Publication
An Overview of MSR(C): A CLP-based Framework for the Symbolic Verification of Parameterized Concurrent Systems
Creators
Contributors
Other:
Additional details
Identifiers
- URL
- http://hdl.handle.net/11567/212175
- URN
- urn:oai:iris.unige.it:11567/212175
Origin repository
- Origin repository
- UNIGE