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
18 Jul 2014
Description
Speaker: Sascha WunderlichEvent: 23rd EACSL Annual Conference on COMPUTER SCIENCE LOGIC (CSL) and 29th Annual ACM/IEEE Symposium on LOGIC IN COMPUTER SCIENCE (LICS)
Location: Wien
Country: Österreich
Duration of event: 18.07.2014-18.07.2014
Conference
| Title | Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) |
|---|---|
| Abbreviated title | CSL-LICS '14 |
| Conference number | |
| Duration | 14 - 18 July 2014 |
| Degree of recognition | International event |
| Location | |
| City | Wien |
| Country | Austria |