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

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

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

Compositional Verification of Concurrent and Real-Time Systems - 9781461353492

Specification and Compositional Verification of Real-Time Systems by Hooman: New

Neural and Concurrent Real-Time Systems : The 6th Generation by Branko Soucek..

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