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
Workshop
| Title | 1st Workshop on Quantitative Aspects of Variant-rich Systems |
|---|---|
| Abbreviated title | QAVS 2020 |
| Conference number | 1 |
| Description | co-located with eQONFEST 2020 |
| Duration | 31 August 2020 |
| Website | |
| Degree of recognition | International event |
| Location | Online |
| City | Wien |
| Country | Austria |