Modeling and Verification of Parallel Processes
de Franck Cassez, Claude Jard, Brigitte Rozoy, Mark D. Ryan
Ediciones (1)
- Modeling and Verification of Parallel Processes (2003)
Springer London, Limited · inglés · ISBN 9783540455103
de Franck Cassez, Claude Jard, Brigitte Rozoy, Mark D. Ryan
Springer London, Limited · inglés · ISBN 9783540455103
