booktheque
Free books
Books
Authors
Genres
Book recommendations
☀
עברית
Eric Y. T. Juan
Eric Y. T. Juan
2 books in the database
Books
Compositional Verification of Concurrent and Real-Time Systems
Eric Y. T. Juan
Compositional Verification of Concurrent and Real-Time Systems
Eric Y. T. Juan · 2002
Compositional verification of concurrent and real-time systems
Eric Y. T. Juan
Compositional verification of concurrent and real-time systems
Eric Y. T. Juan · 2002
