Rodolfo Gomez
2 published titles
Concurrency theory : calculi and automata for modelling untimed and timed concurrent systems
(Contributor)
1 edition
- ISBN: 9781852338954
- Springer
- 2006
- Details
Verification of timed automata with deadlines in Uppaal
1 edition
- Computing Laboratory, University of Kent
- 2008
- Details
