About the Enforcement of State Dependent Specifications.

Joachim Biskup, Christian Eckert

Browse the full DBSEC paper archive.