A trace consistent subset of PTL
- 1 January 1995
- book chapter
- Published by Springer Nature
- p. 438-452
- https://doi.org/10.1007/3-540-60218-6_33
Abstract
No abstract availableKeywords
This publication has 3 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
- All from one, one for all: on model checking using representativesPublished by Springer Nature ,1993