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 › Beigetragen
Personen und Einrichtungen
Datum
9 Dez. 2021
Konferenz
| Titel | 19th International Conference on Software Engineering and Formal Methods |
|---|---|
| Kurztitel | SEFM 2021 |
| Veranstaltungsnummer | |
| Dauer | 6 - 10 Dezember 2021 |
| Webseite | |
| Bekanntheitsgrad | Internationale Veranstaltung |
| Ort | online |
| Stadt |