On Model Checking Techniques for Randomized Distributed Systems
Aktivität: Vortrag oder Präsentation an externen Einrichtungen/Veranstaltungen › Vortrag › Eingeladen
Personen und Einrichtungen
Datum
13 Dez. 2010
Beschreibung
Speaker: Prof. Dr. rer. nat. habil. Christel BaierInviting institution: Vrije Universiteit Amsterdam
Location: Amsterdam
Country: Niederlande
Duration of event: 13.12.2010-13.12.2010
Verknüpfte externe Organisation
| Organisation | Vrije Universiteit Amsterdam (VU) |
|---|---|
| Links |