Accéder directement au contenu

Benjamin Monmege

1
Documents

Publications

sznajder-nathalie
Image document

Real-time Synthesis is Hard!

Thomas Brihaye , Morgane Estiévenart , Gilles Geeraerts , Hsi-Ming Ho , Benjamin Monmege
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