1
Principles of Systems Design [E-Book] : Essays Dedicated to Thomas A. Henzinger on the Occasion of His 60th Birthday /
2
Networked Systems [E-Book] : 8th International Conference, NETYS 2020, Marrakech, Morocco, June 3-5, 2020, Proceedings /
3
Runtime Verification [E-Book] : 6th International Conference, RV 2015, Vienna, Austria, September 22-25, 2015. Proceedings /
4
Tools and Algorithms for the Construction and Analysis of Systems [E-Book] : 16th International Conference, TACAS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings /
5
Hybrid Systems: Computation and Control [E-Book] : 12th International Conference, HSCC 2009, San Francisco, CA, USA, April 13-15, 2009. Proceedings /