Jean-Francois Raskin

Identifiers

Open LibraryOL7916657A

Books by Jean-Francois Raskin

Total count: 2

Formal Modeling and Analysis of Timed Systems5th International Conference, FORMATS 2007, Salzburg, Austria, October 3-5, 2007, Proceedings

Springer London, Limited2007-01-01
Automated Technology for Verification and Analysis12th International Symposium, ATVA 2014, Sydney, Australia, November 3-7, 2014, Proceedings

Springer London, Limited2014-01-01