Department of Information Technology, DTU - DTU Orbit

Department of Information Technology, DTU

Local database

Publisher

View graph of relations

Publications

(2)

Published
Streams and Sockets in DTU-RTMM
Publication: Research - peer-review › Report – Annual report year: 2000
Published
Proof support for duration calculus
Publication: Research - peer-review › Book – Annual report year: 1999

ID: 2984146