Publikationen suchen
A symbolic system synthesis approach for hard real-time systems based on coordinated SMT-solving
(
Teil einer Monographie/eines Konferenzbandes
)