MPG.eBooks - Author Search Results

Cover Image

1

Modeling and Verification of Parallel Processes : 4th Summer School, MOVEP 2000 Nantes, France, June 19–23, 2000 Revised Tutorial Lectures

by Cassez, Franck
Published 2001

Springer-Verlag Berlin Heidelberg

Cover Image

2

Formal Modeling and Analysis of Timed Systems : 6th International Conference, FORMATS 2008, Saint Malo, France, September 15-17, 2008, Proceedings

Published 2008

Springer Berlin Heidelberg

Other Authors: “...Cassez, Franck...”

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: “...Cassez, Franck...”

Cover Image

4

Modeling and Verification of Parallel Processes : 4th Summer School, MOVEP 2000, Nantes, France, June 19-23, 2000. Revised Tutorial Lectures

Published 2001

Springer Berlin Heidelberg

Other Authors: “...Cassez, Franck...”