Nicolas Halbwachs

No bio available. Add one in Open Library.

Books by Nicolas Halbwachs (50 max)

+ shelf+ list

Synchronous programming of reactive systems

1993

Nicolas Halbwachs

+ shelf+ list

Computer Aided Verification: 11th International Conference, CAV'99, Trento, Italy, July 6-10, 1999, Proceedings (Lecture Notes in Computer Science)

1999

Nicolas Halbwachs, Doron Peled

+ shelf+ list

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 of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2004, Proceedings

2005

Nicolas Halbwachs, Lenore Zuck