Mechanizing the Denotational Semantics of the Clock Constraint Specification Language.

Mathieu Montin, Marc Pantel

Browse the full MEDI paper archive.