Published 2002
| Version v1
Publication
Constraint-Based Model Checking for Parameterized Synchronous Systems
- Creators
- DELZANNO, GIORGIO
- Others:
- Alessandro Armando
- Delzanno, Giorgio
Additional details
- URL
- http://hdl.handle.net/11567/302114
- URN
- urn:oai:iris.unige.it:11567/302114
- Origin repository
- UNIGE