Stochastic transition systems: bisimulation, logic, and composition
- Date
- Mar 27, 2018
- Time
- 3:15 PM - 4:15 PM
- Speaker
- M. Sc. Daniel Gburek
- Affiliation
- Institut für Theoretische Informatik, Algebraische und logische Grundlagen der Informatik
- Language
- en
- Main Topic
- Informatik
- Other Topics
- Informatik
Last modified: Mar 27, 2018, 9:47:59 AM
Location
TUD Andreas-Pfitzmann-Bau (Computer Science) (APB 3027)Nöthnitzer Straße4601069Dresden
- Homepage
- https://navigator.tu-dresden.de/etplan/apb/00
Organizer
TUD InformatikNöthnitzer Straße4601069Dresden
- Phone
- +49 (0) 351 463-38465
- Fax
- +49 (0) 351 463-38221
- Homepage
- http://www.inf.tu-dresden.de
Scan this code with your smartphone and get directly this event in your calendar. Increase the image size by clicking on the QR-Code if you have problems to scan it.
Legend
- Biology
- Chemistry
- Civil Eng., Architecture
- Computer Science
- Economics
- Electrical and Computer Eng.
- Environmental Sciences
- for Pupils
- Law
- Linguistics, Literature and Culture
- Materials
- Mathematics
- Mechanical Engineering
- Medicine
- Physics
- Psychology
- Society, Philosophy, Education
- Spin-off/Transfer
- Traffic
- Training
- Welcome