An Overview and Synthesis on Timed Process Algebras, in: (1991)

by X Nicollin, J Sifakis
Venue:International Workshop on Computer Aided Verification (CAV),