On Model Checking Techniques for Randomized Distributed Systems
Aktivität: Vortrag oder Präsentation an externen Einrichtungen/Veranstaltungen › Vortrag › Eingeladen
Personen und Einrichtungen
Datum
9 Okt. 2010 → 15 Okt. 2010
Beschreibung
Speaker: Prof. Dr. rer. nat. habil. Christel BaierEvent: IFM
Inviting institution: University of Nancy
Location: Nancy
Country: Frankreich
Duration of event: 09.10.2010-15.10.2010
Konferenz
| Titel | 8th International Conference on Integrated Formal Methods |
|---|---|
| Kurztitel | IFM 2010 |
| Veranstaltungsnummer | |
| Dauer | 11 - 14 Oktober 2014 |
| Ort | |
| Stadt | Nancy |
| Land | Frankreich |