On Model Checking Techniques for Randomized Distributed Systems
Aktivität: Vortrag oder Präsentation an externen Einrichtungen/Veranstaltungen › Vortrag › Eingeladen
Personen und Einrichtungen
Datum
27 Okt. 2010
Beschreibung
Speaker: Prof. Dr. rer. nat. habil. Christel BaierInviting institution: Max-Planck-Institut für Informatik
Location: Saarbrücken
Country: Deutschland
Duration of event: 27.10.2010-27.10.2010
Verknüpfte externe Organisation
| Organisation | Max-Planck-Institut für Informatik |
|---|