scientific article; zbMATH DE number 4128368

From MaRDI portal

Publication:4207570

Jump to:navigation, search

zbMath0688.68022MaRDI QIDQ4207570

Daniel Pilaud, Nicolas Halbwachs

Publication date: 1988

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

temporal logic synchronous declarative language LUSTRE

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Theory of software (68N99)

Related Items (1)

Suitability of the propositional temporal logic to express properties of real-time systems

This page was built for publication:

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:4207570&oldid=18059749"