placeholder image

Rischel, Hans

Person

Positions

Technical University of Denmark

selected publications

chapter
- Provably Correct Systems. Lecture Notes in Computer Science. 288-335. 1994

full name

Hans Rischel

Publications in VIVO

Co-author Network