placeholder image

Müller-Olm, Markus

Person

Positions

Kiel University

selected publications

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

full name

Markus Müller-Olm

Publications in VIVO

Co-author Network