Gilles Geeraerts

Books that list Gilles Geeraerts among their authors but not as the lead author: co-written works, collections and compilations.

Formal Modeling and Analysis of Timed SystemsAlessandro Abate

Formal Modeling and Analysis of Timed Systems

Alessandro Abate · 2017