Lorentz Center Leiden
Aktivität: Aufenthalte an externen Einrichtungen › Forschungsaufenthalt
Personen und Einrichtungen
- Christine Baier - , Professur für Algebraische und logische Grundlagen der Informatik (Beteiligte Person)
- Marcus Groesser - (Gastwissenschaftler:in)
Datum
12 Nov. 2007 → 17 Nov. 2007
Beschreibung
Thema: Two Decades of Probabilistic Verification — Reflections and PerspectivesBesuchte Einrichtung
| Name | Lorentz Center Leiden |
|---|---|
| Ort | Leiden |
| Land | Niederlande |