Publikation bearbeiten
Solving Finite-Linear-Path CTL-Formulas Using the CEGAR Approach
(
Teil einer Monographie/eines Konferenzbandes
)