scientific article

zbMath1272.03092MaRDI QIDQ3012536

Ben Moszkowski

Publication date: 6 July 2011

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

Mathematics Subject Classification ID

Temporal logic (03B44)

Related Items (1)

Verification and enforcement of access control policies

This page was built for publication: