MPG.eBooks - Author Search Results

Cover Image

1

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

Published 2007

Springer Berlin Heidelberg

Other Authors: “...Raskin, Jean-Francois...”

Cover Image

2

Tools and Algorithms for the Construction and Analysis of Systems : 22nd International Conference, TACAS 2016, Held as Part of the European Joint Conferences on Theory and Practice...

Published 2016

Springer Berlin Heidelberg

Other Authors: “...Raskin, Jean-François...”

Cover Image

3

Automated Technology for Verification and Analysis : 12th International Symposium, ATVA 2014, Sydney, Australia, November 3-7, 2014, Proceedings

Published 2014

Springer International Publishing

Other Authors: “...Raskin, Jean-Francois...”

Cover Image

4

Principles of Systems Design : Essays Dedicated to Thomas A. Henzinger on the Occasion of His 60th Birthday

Published 2022

Springer Nature Switzerland

Other Authors: “...Raskin, Jean-François...”