Suitability of the Propositional Temporal Logic to Express Properties of Real-Time Systems.

Eric Nassor, Guy Vidal-Naquet

Browse the full STACS paper archive.