Quantitative Analysis under Fairness Constraints
Activity: Talk or presentation at external institutions/events › Talk/Presentation › Contributed
Persons and affiliations
- Marcus Groesser - , TUD Dresden University of Technology (Speaker)
Date
14 Oct 2009 → 16 Oct 2009
Description
Speaker: Marcus GroesserEvent: ATVA 2009
Location: Macao
Country: China
Duration of event: 13.10.2009-16.10.2009
Conference
| Title | 7th International Symposium on Automated Technology for Verification and Analysis |
|---|---|
| Abbreviated title | ATVA 2009 |
| Conference number | |
| Duration | 14 - 16 October 2009 |
| Website | |
| Degree of recognition | International event |
| Location | |
| City | Macao |
| Country | China |