Gilles Geeraerts

Identifiers

Open LibraryOL8003798A

Books by Gilles Geeraerts

Total count: 1

Formal Modeling and Analysis of Timed Systems15th International Conference, FORMATS 2017, Berlin, Germany, September 5–7, 2017, Proceedings

Springer2017-09-14