L’Analyse Formelle des Systèmes Temporisés en Pratique (1998)

by Stavros Tripakis
Venue:Université Joseph Fourier – Grenoble