Temporal Logic And State Systems, Hardcover by Kroger, Fred; Merz, Stefan, Li...

Temporal Logic And State Systems, Hardcover by Kroger, Fred; Merz, Stefan, Br...

Temporal Logic and State Systems - 9783642086809

Temporal Type Theory : A Topos-theoretic Approach to Systems and Behavior, Ha...

Temporal Logic and State Systems by Stephan Merz (English) Paperback Book

Temporal Logic and State Systems by Stephan Merz (English) Hardcover Book

Specifying Message Passing and Time-Critical Systems with Temporal Logic by Ron

The Temporal Logic of Reactive and Concurrent Systems - 9781461269502