Jean-François Raskin
Identifiers
- Open LibraryOL7932650A
Top Subjects
- Stochastic analysis (1)
Books by Jean-François Raskin
Total count: 2
-
Tools and Algorithms for the Construction and Analysis of Systems22nd International Conference, TACAS 2016, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, the Netherlands, April 2-8, 2016, ProceedingsSpringer London, Limited2016-01-01
-
Principles of Systems DesignEssays Dedicated to Thomas A. Henzinger on the Ocasion of His 60th BirthdaySpringer2023-01-01