On Model Checking Techniques for Randomized Distributed Systems
Aktivität: Vortrag oder Präsentation an externen Einrichtungen/Veranstaltungen › Vortrag › Eingeladen
Personen und Einrichtungen
Datum
28 Nov. 2010 → 5 Dez. 2010
Beschreibung
Redner:in: Prof. Dr. rer. nat. habil. Christel BaierEinladendes Institut: Carnegie Mellon University (CMU)
Ort: Pittsburgh
Land: USA
Veranstaltungsdauer: 28.11.2010-05.12.2010
Verknüpfte externe Organisation
| Organisation | Carnegie Mellon University |
|---|