placeholder image

Spies, Katharina

Person

Positions

Technical University of Munich

selected publications

chapter
- AutoFocus — A tool for distributed systems specification. Lecture Notes in Computer Science. 467-470. 1996

full name

Katharina Spies

Publications in VIVO

Co-author Network