Weiter zum Inhalt Weiter zur Fußzeile

Weight Monitoring with Linear Temporal Logic

Aktivität: Vortrag oder Präsentation an externen Einrichtungen/VeranstaltungenVortragBeigetragen

Personen und Einrichtungen

Datum

31 Mai 20153 Juni 2015

Beschreibung

Speaker: Dipl.-Math. Sascha Wunderlich
Event: 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

TitelJoint Workshop of the German Research Training Groups in Computer Science
Veranstaltungsnummer
Dauer31 Mai - 3 Juni 2015
BekanntheitsgradInternationale Veranstaltung
OrtSchloss Dagstuhl
StadtWadern
LandDeutschland

Schlagworte