Nicolas Halbwachs
3 published titles
Synchronous programming of reactive systems
1 edition
- ISBN: 0792393112
- Kluwer Academic
- 1993
- Details
Computer aided verification : 11th International Conference, CAV'99, Trento, Italy, July 6-10, 1999 : proceedings
(Contributor)
1 edition
- ISBN: 3540662022
- Springer
- 1999
- Details
Tools and algorithms for the construction and analysis of systems : 11th International Conference, TACAS 2005, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS
(Contributor)
1 edition
- ISBN: 3540253335
- Springer
- 2005
- Details
