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 |