Publications

2017

Romain Edelmann, Simon Bliudze, Joseph Sifakis
Journal of Logical and Algebraic Methods in Programming 92, 19-44

2015

Romain Edelmann