Vol-1613⫷ Vol-1614 ⫸Vol-1615
urn:nbn:de:0074-1614-0


Vol-1614/paper_48⫷Vol-1614/paper_61⫸Vol-1614/paper_70
Bogdan ChornomazKseniia TroinoKirill Rukkas

A Complete Axiomatization for Reduced Clock Constraint Specification Language