Skip to content

Modular specification of real-time systems.

Recep Inal

VenueBECRTS
Year1994
ProceedingsRTS

Browse the full ECRTS paper archive.