Quantitative Analysis of Randomized Distributed Systems and Probabilistic Automata

Activity: Talk or presentation at external institutions/events › Talk/Presentation › Invited

Persons and affiliations

Christel Baier - , Chair of Algebraic and Logical Foundations of Computer Science (Speaker)

Date

2 Sept 2013 → 6 Sept 2013

Description

Conference

Title	5th International Conference on Algebraic Informatics
Abbreviated title	CAI 2013
Conference number
Duration	3 - 6 September 2013
Degree of recognition	International event
Location
City	Porquerolles
Country	France

Keywords

Quantitative Analysis of Randomized Distributed Systems and Probabilistic Automata

Baier, C., 2013, Algebraic Informatics: 5th International Conference, CAI 2013, Porquerolles, France, September 3-6, 2013. Proceedings. Muntean, T., Poulakis, D. & Rolland, R. (eds.). Springer, Berlin [u. a.], p. 4-5 2 p. (Lecture Notes in Computer Science, Volume 8080).

Research output: Contribution to book/conference proceedings/anthology/report › Conference contribution › Contributed › peer-review

View all research output (1)

Research Portal of the TU Dresden

Quantitative Analysis of Randomized Distributed Systems and Probabilistic Automata

Persons and affiliations

Date

Description

Conference

Keywords

Related content

Quantitative Analysis of Randomized Distributed Systems and Probabilistic Automata