INRIA centre at Rennes University
Activity: Visiting external institutions › Research stay
Persons and affiliations
- Christel Baier - , Chair of Algebraic and Logical Foundations of Computer Science (Visiting scientist)
Date
4 Nov 2018 → 9 Nov 2018
Description
Topic: Durchschnittsanalyse operationeller Modelle hinsichtlich Pfadeigenschaften - long-run satisfaction (probabilities)Hosting institution: INRIA Rennes Bretagne Atlantique, France
Duration of visit: 5 Tage
Visited organisation
| Name | INRIA centre at Rennes University |
|---|---|
| City | Rennes Cedex |
| Country | France |