Constraint Database Models Characterizing Timed Bisimilarity
- 29 March 2001
- book chapter
- Published by Springer Nature
- p. 245-258
- https://doi.org/10.1007/3-540-45241-9_17
Abstract
No abstract availableKeywords
This publication has 20 references indexed in Scilit:
- A constraint-based approach for specification and verification of real-time systemsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- A theory of timed automataPublished by Elsevier ,2002
- Timed Alternating Tree Automata: The Automata-Theoretic Solution to the TCTL Model Checking ProblemPublished by Springer Nature ,1999
- Alternating refinement relationsPublished by Springer Nature ,1998
- Uppaal in 1995Published by Springer Nature ,1996
- Tabled evaluation with delaying for general logic programsJournal of the ACM, 1996
- Constraint Query LanguagesJournal of Computer and System Sciences, 1995
- Constraint logic programming: a surveyThe Journal of Logic Programming, 1994
- Symbolic Model Checking for Real-Time SystemsInformation and Computation, 1994
- The Observational Power of ClocksPublished by Springer Nature ,1994