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

The Temporal Logic of Reactive and Concurrent Systems: Specification by Zohar Ma

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

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

Understanding Concurrent Systems by A.W. Roscoe (English) Paperback Book

Coloured Petri Nets: Modelling and Validation of Concurrent Systems by Kurt Jens

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