Family-based Quantitative Analysis in Prism
Activity: Talk or presentation at external institutions/events › Talk/Presentation › Invited
Persons and affiliations
- Clemens Dubslaff - , Chair of Algebraic and Logical Foundations of Computer Science (Speaker)
Date
31 Aug 2020
Conference
| Title | First Workshop on Quantitative Aspects of Variant-rich Systems |
|---|---|
| Abbreviated title | QAVS 2020 |
| Conference number | |
| Duration | 31 August 2020 |
| Website | |
| Degree of recognition | International event |
| Location | online |
| City | Wien |
| Country | Austria |