Locally linear time temporal logic
- 23 December 2002
- proceedings article
- Published by Institute of Electrical and Electronics Engineers (IEEE)
- p. 118-127
- https://doi.org/10.1109/lics.1996.561311
Abstract
No abstract availableKeywords
This publication has 4 references indexed in Scilit:
- A trace based extension of linear time temporal logicPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Model-checking of causality propertiesPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- A Partial Approach to Model CheckingInformation and Computation, 1994
- TEMPORAL LOGICS FOR COMMUNICATING SEQUENTIAL AGENTS: IInternational Journal of Foundations of Computer Science, 1992