From timed automata to logic — and back
- 1 January 1995
- book chapter
- conference paper
- Published by Springer Science and Business Media LLC in Lecture Notes in Computer Science
Abstract
No abstract availableKeywords
This publication has 11 references indexed in Scilit:
- Symbolic model checking for real-time systemsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- Model-checking for real-time systemsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- From Timed Automata to Logic - and BackBRICS Report Series, 1995
- A theory of timed automataTheoretical Computer Science, 1994
- Relating processes with respect to speedLecture Notes in Computer Science, 1991
- A linear algorithm to solve fixed-point equations on transition systemsInformation Processing Letters, 1988
- Characterizing finite Kripke structures in propositional temporal logicTheoretical Computer Science, 1988
- Automatic verification of finite-state concurrent systems using temporal logic specificationsACM Transactions on Programming Languages and Systems, 1986
- A modal characterization of observational congruence on finite terms of CCSInformation and Control, 1986
- A lattice-theoretical fixpoint theorem and its applicationsPacific Journal of Mathematics, 1955