Skip to content
Vinony

Temporal logic and state systems

by Fred Kröger, Stephan Merz

Cover of Temporal logic and state systems

No description available.

Tense (Logic)Symbolic and mathematical LogicTimeLogic, symbolic and mathematical
Temporal logic and state systems by Fred Kröger, Stephan Merz — book · Vinony