Extended Temporal Logic Revisited
- 22 August 2001
- book chapter
- Published by Springer Nature
- p. 519-535
- https://doi.org/10.1007/3-540-44685-0_35
Abstract
No abstract availableKeywords
This publication has 30 references indexed in Scilit:
- Dynamic linear time temporal logicAnnals of Pure and Applied Logic, 1999
- On-the-fly model checking of RCTL formulasPublished by Springer Nature ,1998
- Generalized quantitative temporal reasoning: An automata-theoretic approachPublished by Springer Nature ,1997
- Complexity results for two-way and multi-pebble automata and their logicsTheoretical Computer Science, 1996
- On the power of bounded concurrency IJournal of the ACM, 1994
- Methodology and system for practical formal verification of reactive hardwarePublished by Springer Nature ,1994
- State-complexity of finite-state devices, state compressibility and incompressibilityTheory of Computing Systems, 1993
- A Synthesis of Two Approaches for Verifying Finite State Concurrent SystemsJournal of Logic and Computation, 1992
- Hierarchical development of concurrent systems in a temporal logic frameworkPublished by Springer Nature ,1985
- On equations for regular languages, finite automata, and sequential networksTheoretical Computer Science, 1980