Be Lazy and Don’t Care: Faster CTL Model Checking for Recursive State Machines
Activity: Talk or presentation at external institutions/events › Talk/Presentation › Invited
Persons and affiliations
Date
7 Dec 2021
Seminar
| Title | QuantLA Research Seminar Winter Term 2021/22 |
|---|---|
| Conference number | |
| Duration | 3 November 2021 - 25 January 2022 |
| Website | |
| Degree of recognition | International event |
| Location | online |
| City |