Showing Paperback Book · Show all
Show unavailable items

Releases by Axel Legay

August 19, 2013 – August 19, 2014

Cover for Axel Legay · Formal Modeling and Analysis of Timed Systems: 12th International Conference, FORMATS 2014, Florence, Italy, September 8-10, 2014, Proceedings - Theoretical Computer Science and General Issues (Paperback Book) [2014 edition] (2014)

Formal Modeling and Analysis of ... (2014)

Cover for Axel Legay · Runtime Verification: 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013, Proceedings - Programming and Software Engineering (Paperback Book) [2013 edition] (2013)

Runtime Verification: 4th Intern... (2013)