Skip to content

CTR: A Calculus of Timed Refinement.

Karlis Cerans

VenueBCONCUR
Year1995
ProceedingsCONCUR

Browse the full CONCUR paper archive.