Benjamin Monmege
1
Documents
Publications
- 1
- 1
- 1
- 1
- 1
- 1
|
Real-time Synthesis is Hard!14th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS'16), Aug 2016, Québec City, Canada. pp.105-120, ⟨10.1007/978-3-319-44878-7_7⟩
Communication dans un congrès
hal-01344684v1
|