Advances in Temporal Logic by Howard Barringer: New

Advances in Temporal Logic - 9789048153893

Advances in Temporal Logic, Hardcover by Barringer, Howard (EDT); Fisher, Mic...

Advances in Verification of Time Petri Nets and Timed Automata: A Temporal Logic

Advances in Temporal Logic (Applied Logic Series, 16)

Advances in Temporal Logic by Howard Barringer (English) Paperback Book

Advances in Verification of Time Petri Nets and Timed Automata: A Temporal Logic