‎Stavros Tripakis profile picture

‎Stavros Tripakis

Is this your author profile? Create an account to customize it!

Stand Alone

Formal Modeling and Analysis of Timed Systems
Formal Modeling and Analysis of Timed Systems