Greener Bits: Formal Analysis of Demand Response
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
17 Oct 2016 → 20 Oct 2016
Description
Conference
| Title | 14th International Symposium on Automated Technology for Verification and Analysis |
|---|---|
| Abbreviated title | ATVA 2016 |
| Conference number | |
| Duration | 17 - 20 October 2016 |
| Degree of recognition | International event |
| Location | |
| City | Chiba |
| Country | Japan |