Probabilistic Causes in Markov Chains
Activity: Talk or presentation at external institutions/events › Talk/Presentation › Contributed
Persons and affiliations
Date
21 Oct 2021
Conference
| Title | 19th International Symposium on Automated Technology for Verification and Analysis |
|---|---|
| Abbreviated title | ATVA 2021 |
| Conference number | 19 |
| Duration | 18 - 22 October 2021 |
| Website | |
| Degree of recognition | International event |
| Location | online |
| City | Gold Coast |
| Country | Australia |