Luca De Alfaro
2 published titles
Process algebra and probabilistic methods : performance modelling and verification : joint international workshop, PAPM-PROBMIV 2001, Aachen, Germany, September 12-14, 2001 : proceedings
(Contributor)
1 edition
- ISBN: 354042556X
- Springer-Verlag
- 2001
- Details
Concur 2005 : concurrency theory : 16th international conference, CONCUR 2005, San Francisco, CA, USA, August 23-26, 2005, proceedings
(Contributor)
1 edition
- ISBN: 9783540283096
- Springer
- 2005
- Details
