Home / Authors / Chaochen Zhou, Michael Hansen

Books by Chaochen Zhou, Michael Hansen

All books by this author

2 books found
Duration Calculus: A Formal Approach to Real-Time Systems (Monographs in Theoretical Computer Science. An EATCS Series)
Duration Calculus: A Formal Approach to Real-Time Systems (…
By: Chaochen Zhou, Michael Hansen
View Details
Duration Calculus: A Formal Approach to Real-Time Systems (Monographs in Theoretical Computer Science. An EATCS Series)
Duration Calculus: A Formal Approach to Real-Time Systems (…
By: Chaochen Zhou, Michael Hansen
View Details