Sergio Yovine

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

Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant SystemsYassine Lakhnech

Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems

Yassine Lakhnech · 2004