Joël Ouaknine
2 published titles
Formal modeling and analysis of timed systems : 7th international conference, FORMATS 2009, Budapest, Hungary, September 14-16, 2009 : proceedings
(Contributor)
1 edition
- ISBN: 9783642043673
- Springer
- 2009
- Details
Reachability problems : 8th International Workshop, RP 2014, Oxford, UK, September 22-24, 2014, proceedings
(Contributor)
1 edition
- ISBN: 9783319114385
- Springer
- 2014
- Details
