scientific article; zbMATH DE number 1696757

zbMATH Open0988.68563MaRDI QIDQ2767006FDOQ2767006

M. Lepper, Wolfgang Grieskamp

Publication date: 30 June 2002

Title of this publication is not available (Why is that?)

Recommendations

• An overview of the integrated formalism RT-Z
• MetateM: An introduction
• Executable temporal logic systems
• Temporal-logic property preservation under Z refinement
• Temporal logic in specification. Altrincham, UK, April 8-10, 1987. Proceedings

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44)

Cited In (1)

• Algebraic Methodology and Software Technology

This page was built for publication:

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