scientific article; zbMATH DE number 177268

MaRDI QIDQ4037128zbMATH OpenFDO

Authors Linda Ness

Publication date 18 May 1993

zbMATH Keywords

linear predicate temporal logicprogramming language L.Ospecification language for communications software

Mathematics Subject Classification ID

Theory of programming languages (68N15)

Recommendations

• Semantical analysis of specification logic
• scientific article; zbMATH DE number 826298
• Temporal logic programming
• scientific article; zbMATH DE number 4082943
• scientific article; zbMATH DE number 4076583

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