Publikationen suchen
- Publikation
- Autoren
- Einrichtungen
- Abstract
- Externe Dokumente
- Links
Solving Finite-Linear-Path CTL-Formulas Using the CEGAR Approach
(
Teil einer Monographie/eines Konferenzbandes
)