icdtmisc
See
icdt
for additional icdt information and references
gupta:icdt99
This document is referenced once, by: [
loukopoulos:icpp01
].