scientific article; zbMATH DE number 1059326

MaRDI QIDQ4353633zbMATH OpenFDO

Authors Marta Kwiatkowska, Christel Baier

Publication date 10 September 1997

zbMATH Keywords

concurrent programs

Mathematics Subject Classification ID

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

Cited in

(9)

• A temporal splitting theorem for chronological spaces
• On Topologically Relevant Fragments of the Logic of Linear Flows of Time
• scientific article; zbMATH DE number 17700 (Why is no real title available?)
• scientific article; zbMATH DE number 1107651 (Why is no real title available?)
• On the Order Structure of Time Projection
• scientific article; zbMATH DE number 1455625 (Why is no real title available?)
• scientific article; zbMATH DE number 1536568 (Why is no real title available?)
• scientific article; zbMATH DE number 2087486 (Why is no real title available?)
• Characterization of temporal property classes

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