Probabilistic and Stochastic Model Checking
Aktivität: Vortrag oder Präsentation an externen Einrichtungen/Veranstaltungen › Vortrag › Beigetragen
Personen und Einrichtungen
Datum
22 Juni 2010
Beschreibung
Speaker: Prof. Dr. rer. nat. habil. Christel BaierEvent: School on Formal Methods (QAPL)
Inviting institution: CRU Berinoro, University of Urbino
Location: Bertinoro
Country: Italien
Duration of event: 22.06.2010-22.06.2010
Konferenz
| Titel | School on Formal Methods (QAPL) |
|---|---|
| Veranstaltungsnummer | |
| Dauer | 22 Juni 2010 |
| Ort | CRU Berinoro, University of Urbino |
| Stadt | Bertinoro |
| Land | Italien |