Browse
FAQ

Author

Gilles Geeraerts

1 book found

Cover of Formal Modeling and Analysis of Timed Systems

Formal Modeling and Analysis of Timed Systems

Alessandro Abate, Gilles Geeraerts · First published 2017