Trade-Off Analysis meets Probabilistic Model Checking

Activity: Talk or presentation at external institutions/events › Talk/Presentation › Invited

Persons and affiliations

Christel Baier - , Chair of Algebraic and Logical Foundations of Computer Science (Speaker)

Date

14 Jul 2014 → 18 Jul 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

Keywords

Trade-off Analysis Meets Probabilistic Model Checking

Baier, C., Dubslaff, C. & Klüppelholz, S., 2014, CSL-LICS '14: Proceedings of the 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). Association for Computing Machinery (ACM), New York, p. 1-10

Research output: Contribution to book/conference proceedings/anthology/report › Conference contribution › Contributed

View all research output (1)

Research Portal of the TU Dresden