Be Lazy and Don’t Care: Faster CTL Model Checking for Recursive State Machines
Aktivität: Vortrag oder Präsentation an externen Einrichtungen/Veranstaltungen › Vortrag › Eingeladen
Personen und Einrichtungen
Datum
7 Dez. 2021
Seminar
| Titel | DFG Research Training Group GRK 1763 "Quantitative Logics and Automata" Research Seminar |
|---|---|
| Untertitel | Winter Term 2021/2022 |
| Kurztitel | QuantLA Research Seminar Winter Term 2021/22 |
| Dauer | 3 November 2021 - 25 Januar 2022 |
| Webseite | |
| Bekanntheitsgrad | Internationale Veranstaltung |
| Ort | Online |
| Land | Deutschland |