Klaus Hansen
Visiting researcher
Department of Computer Science
Universitetsparken 1
2100 København Ø
There is no presentation filled.
ID: 7145
Most downloads
-
362
downloads
Verification of flow control protocols
Research output: Contribution to journal › Journal article › Research
Published -
141
downloads
2-D Shape Recognition by Sequential Test Procedures
Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Published