Jørgen F. Søgaard-Andersen - DTU Orbit

‹ Back to search result

Jørgen F. Søgaard-Andersen

Jørgen F. Søgaard-Andersen

Former employee

Department of Information Technology

View graph of relations

Publications

(2)

Published
A Systematic Kernel Development
Publication: Research - peer-review › Article in proceedings – Annual report year: 1991
Published
Base System Verification
Publication: Research - peer-review › Report – Annual report year: 1991

Most frequent publishers

Department of Computer Science, Technical University of Denmark
Local database
Publisher
ACM Press
Local database
Publisher

Projects

(1)

Completed
Korrekthed af protokoller i ditribuerede systemer
Project: PhD

ID: 2178357