Quantitative Analysis of Randomized Distributed Systems and Probabilistic Automata
Activity: Talk or presentation at external institutions/events › Talk/Presentation › Invited
Persons and affiliations
Date
8 Nov 2013 → 9 Nov 2013
Description
Symposium
| Title | 20. Jahrestagung der GI-Fachgruppe Logik in der Informatik |
|---|---|
| Conference number | |
| Duration | 8 - 9 November 2013 |
| Degree of recognition | National event |
| Location | Universität Bremen |
| City | Bremen |
| Country | Germany |