Laurent Fribourg
3 published titles
Computer science logic : 15th international workshop, CSL 2001, 10th annual conference of the EACSL, Paris, France, September 10-13, 2001 : proceedings
(Contributor)
1 edition
- ISBN: 3540425543
- Springer
- 2001
- Details
Control of switching systems by invariance analysis : application to power electronics
1 edition
- ISBN: 9781848216068
- iSTE
- 2013
- Details
Formal modeling and analysis of timed systems : 11th International Conference, FORMATS 2013, Buenos Aires, Argentina, August 29-31, 2013. Proceedings
(Contributor)
1 edition
- ISBN: 9783642402289
- Springer
- 2013
- Details
