👤

Yassine Lakhnech

3 books

Books by Yassine Lakhnech

From Programs to Systems - The Systems Perspective in Computing
From Programs to Systems - The Systems Perspective in Computing
2014
Concurrency verification
Concurrency verification
2001
Specification and verification
Specification and verification of hybrid and real time systems
1996