Weight Monitoring with Linear Temporal Logic
Aktivität: Vortrag oder Präsentation an externen Einrichtungen/Veranstaltungen › Vortrag › Beigetragen
Personen und Einrichtungen
- Sascha Wunderlich - , Professur für Algebraische und logische Grundlagen der Informatik (Redner:in)
Datum
31 Mai 2015 → 3 Juni 2015
Beschreibung
Speaker: Dipl.-Math. Sascha WunderlichEvent: Joint Workshop of the German Research Training Groups in Computer Science
Location: Schloss Dagstuhl, Wadern
Country: Deutschland
Duration of event: 31.05.2015-03.06.2015
Workshop
| Titel | Joint Workshop of the German Research Training Groups in Computer Science |
|---|---|
| Veranstaltungsnummer | |
| Dauer | 31 Mai - 3 Juni 2015 |
| Bekanntheitsgrad | Internationale Veranstaltung |
| Ort | Schloss Dagstuhl |
| Stadt | Wadern |
| Land | Deutschland |