scientific article

zbMath1272.68214MaRDI QIDQ2848132

Olivier Tardieu

Publication date: 25 September 2013

Full work available at URL: http://www.sciencedirect.com/science/article/pii/S1571066105002100

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

Mathematics Subject Classification ID

Theory of programming languages (68N15) Semantics in the theory of computing (68Q55)

Related Items (1)

A synchronous effects logic for temporal verification of pure Esterel

This page was built for publication: