Lorentz Center Leiden
Activity: Visiting external institutions › Research stay
Persons and affiliations
- Christine Baier - , Chair of Algebraic and Logical Foundations of Computer Science (Involved person)
- Marcus Groesser - (Visiting scientist)
Date
12 Nov 2007 → 17 Nov 2007
Description
Topic: Two Decades of Probabilistic Verification — Reflections and PerspectivesHosting institution: Lorentz Center Leiden, Netherlands
Duration of visit: 1 week in November
Visited organisation
| Name | Lorentz Center Leiden |
|---|---|
| City | Leiden |
| Country | Netherlands |