Compositional Verification of Concurrent and Real-Time Systems - 9781461353492

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

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

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

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

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

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

Rattray - Specification and Verification of Concurrent Systems - New p - X555z