1
Formal Modeling and Analysis of Timed Systems [E-Book] : 11th International Conference, FORMATS 2013, Buenos Aires, Argentina, August 29-31, 2013. Proceedings /
2
Control of switching systems by invariance analysis : application to power electronics [E-Book] /
3
Computer Science Logic [E-Book] : 15th International Workshop, CSL 2001 10th Annual Conference of the EACSL Paris, France, September 10–13, 2001, Proceedings /