Skip to content

Formal proofs for QoS-oriented Transformations.

Kenneth Chan

VenueBEDOC
Year2006
ProceedingsEDOC Workshops

Browse the full EDOC paper archive.