Waiting for locks: How long does it usually take?
Aktivität: Vortrag oder Präsentation an externen Einrichtungen/Veranstaltungen › Vortrag › Beigetragen
Personen und Einrichtungen
- Marcus Daum - , Professur für Algebraische und logische Grundlagen der Informatik (Redner:in)
- Sascha Klüppelholz - , Professur für Algebraische und logische Grundlagen der Informatik (Redner:in)
- Steffen Märcker - , Professur für Algebraische und logische Grundlagen der Informatik (Redner:in)
Datum
27 Aug. 2012 → 28 Aug. 2012
Beschreibung
Workshop
| Titel | 17th International Workshop on Formal Methods for Industrial Critical Systems |
|---|---|
| Kurztitel | FMICS 2012 |
| Veranstaltungsnummer | |
| Dauer | 27 - 28 August 2012 |
| Bekanntheitsgrad | Internationale Veranstaltung |
| Ort | |
| Stadt | Paris |
| Land | Frankreich |