Combining temporal specification techniques

DOI10.1007/BFB0013977MaRDI QIDQ4518411zbMATH OpenFDO

Authors O. E. Hansen, Hans Henrik Loevengreen, Morten Sorensen

Publication date 28 November 2000

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/BFB0013977

Mathematics Subject Classification ID

Temporal logic (03B44) Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Combining temporal logic systems
• A survey on temporal logics for specifying and verifying real-time systems
• A really temporal logic
• Unifying proof methodologies of duration calculus and timed linear temporal logic
• Temporal logic in specification. Altrincham, UK, April 8-10, 1987. Proceedings

Cited in

(6)

• Combining temporal logic systems
• Unifying proof methodologies of duration calculus and timed linear temporal logic
• scientific article; zbMATH DE number 1949601 (Why is no real title available?)
• scientific article; zbMATH DE number 2086955 (Why is no real title available?)
• Applications and Theory of Petri Nets 2004
• Integrated Formal Methods

This page was built for publication: Combining temporal specification techniques

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4518411)