A Complete Axiomatization for Reduced Clock Constraint Specification Language.

Bogdan Chornomaz, Kirill Rukkas, Kseniia Troino

Browse the full ICTERI paper archive.