The Temporal Logic of Reactive and Concurrent Systems: Specification

The Temporal Logic of Reactive and Concurrent Systems - 9781461269502

Krger - Temporal Logic and State Systems - New paperback or softback - X555z

Temporal Logics in Computer Science: Finite-State Systems: 58 (C

The Temporal Logic of Reactive and Concurrent Systems: Specification by Manna

Temporal Logic and State Systems by Fred Kröger: New

Manna - Temporal Logic of Reactive and Concurrent Systems Specificat - X555z

Temporal Modalities in Arabic Logic, Paperback by Rescher, N., Like New Used,...