scientific article; zbMATH DE number 873324

zbMATH Open0862.68078MaRDI QIDQ4876427FDOQ4876427

Authors: Frank Leßke 

Publication date: 5 May 1996

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

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

zbMATH Keywords

temporal logicspecification theory

Mathematics Subject Classification ID

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

Cited In (4)

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)

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)