Publikation bearbeiten
Parallel analysis with FAMVal to speed up simulation-based model checking
(
Teil einer Monographie/eines Konferenzbandes
)