MPG.eBooks - Author Search Results

Cover Image

1

Synchronous Programming of Reactive Systems

by Halbwachs, Nicolas
Published 1993

Springer US

Cover Image

2

Computer Aided Verification : 11th International Conference, CAV’99 Trento, Italy, July 6–10, 1999 Proceedings

by Halbwachs, Nicolas
Published 1999

Springer-Verlag Berlin Heidelberg

Cover Image

3

Computer Aided Verification : 11th International Conference, CAV'99, Trento, Italy, July 6-10, 1999, Proceedings

Published 1999

Springer Berlin Heidelberg

Other Authors: “...Halbwachs, Nicolas...”

Cover Image

4

Tools and Algorithms for the Construction and Analysis of Systems : 11th International Conference, TACAS 2005, Held as Part of the Joint European Conference on Theory and Practice...

Published 2005

Springer Berlin Heidelberg

Other Authors: “...Halbwachs, Nicolas...”