Published 2004
| Version v1
Publication
A Symbolic Procedure for Control Reachability in the Asynchronous Pi-calculus
- Creators
- DELZANNO, GIORGIO
- Other:
- Delzanno, Giorgio
Additional details
- URL
- http://hdl.handle.net/11567/212174
- URN
- urn:oai:iris.unige.it:11567/212174
- Origin repository
- UNIGE