Weight Monitoring with Linear Temporal Logic
Activity: Talk or presentation at external institutions/events › Talk/Presentation › Contributed
Persons and affiliations
- Sascha Wunderlich - , Chair of Algebraic and Logical Foundations of Computer Science (Speaker)
Date
31 May 2015 → 3 Jun 2015
Description
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
| Title | Joint Workshop of the German Research Training Groups in Computer Science |
|---|---|
| Conference number | |
| Duration | 31 May - 3 June 2015 |
| Degree of recognition | International event |
| Location | Schloss Dagstuhl |
| City | Wadern |
| Country | Germany |