👤

Joseph Sifakis

3 books

Books by Joseph Sifakis

Understanding and Changing the
Understanding and Changing the World
2023
Rigorous System Design
Rigorous System Design
2013
Automatic Verification Methods for Finite State Systems
Automatic Verification Methods for Finite State Systems
1990