Marius Bozga

1 published title

Formal modeling and analysis of timed systems : 12th International Conference, FORMATS 2014, Florence, Italy, September 8-10, 2014, proceedings

(Contributor)

1 edition