scientific article; zbMATH DE number 873324

MaRDI QIDQ4876427zbMATH OpenFDO

Authors Frank Leßke

Publication date 5 May 1996

zbMATH Keywords

specification theorytemporal logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Research exposition (monographs, survey articles) pertaining to computer science (68-02) Abstract data types; algebraic specification (68Q65)

Recommendations

• scientific article; zbMATH DE number 4035111
• scientific article; zbMATH DE number 4028879
• scientific article; zbMATH DE number 1678368
• Specification of abstract dynamic-data types: A temporal logic approach
• scientific article; zbMATH DE number 4049002

Cited in

(4)

• scientific article; zbMATH DE number 1678368 (Why is no real title available?)
• scientific article; zbMATH DE number 4028879 (Why is no real title available?)
• scientific article; zbMATH DE number 4035111 (Why is no real title available?)
• scientific article; zbMATH DE number 4049002 (Why is no real title available?)

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 Q4876427)