Compositional Verification of Concurrent and Real-Time Systems, Hardcover by ...

Specification and Compositional Verification of Real-time Systems, Paperback ...

Specification and Compositional Verification of Real-Time Systems by Jozef Hooma

Compositional Verification of Concurrent and Real-Time Systems - 9781461353492

Compositional Verification of Concurrent and Real-Time Systems by Jeffrey J.P. T

Juan - Compositional Verification of Concurrent and Real-Time Systems - X555z

Concurrent and Real-time Systems: The CSP Approach by Steve Schneider (English)