Showing 1 - 4 results of 4 for search 'Legay, Axel.', query time: 0.02s Refine Results
1
Tools and Algorithms for the Construction and Analysis of Systems : 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part II /
Published 2017
Other Authors: “...Legay, Axel....”
eBook
2
Tools and Algorithms for the Construction and Analysis of Systems : 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part I /
Published 2017
Other Authors: “...Legay, Axel....”
eBook
3
Risks and Security of Internet and Systems : 11th International Conference, CRiSIS 2016, Roscoff, France, September 5-7, 2016, Revised Selected Papers /
Published 2017
Other Authors: “...Legay, Axel....”
eBook
4
Models, Algorithms, Logics and Tools : Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday /
Published 2017
Other Authors: “...Legay, Axel....”
eBook
Search Tools: Get RSS Feed — Email this Search