Chair for Foundations of Software Reliability and Theoretical Computer Science
Home
Contact
Teaching
People
professors
secretaries
scientific staff
associate members
sysadmins
affiliated scientists
affiliated students
former staff
Publications
Research
Help
Stefan Schwoon
Deutsche Version
Address:
Institut für Informatik (I7)
Technische Universität München
Boltzmannstr. 3
85748 Garching b.München
Germany
Office:
03.11.053
Phone:
+49 89 289-17235
E-mail:
schwoon@in.tum.de
Teaching:
SS 2008:
Course on Model Checking
WS 2007/08:
Logic (Tutorials)
SS 2007:
Discrete Stochastics (Tutorials)
Events:
TACAS 2008
Dagstuhl Seminar
Beyond the Finite
FSTTCS 2008
Tools:
Moped
Mole
Weighted PDS library
The Model-Checking Kit
Publications
Pictures
-->
Contact
People
Deutsche Version
