Parametric Systems: Verification and Synthesis
Fundamenta Informaticae. Bd. 173. H. 1-2. 2020 S. 91 - 138
Erscheinungsjahr: 2020
Publikationstyp: Zeitschriftenaufsatz
Sprache: Englisch
Doi/URN: 10.3233/FI-2020-1918
Geprüft | Bibliothek |
Klassifikation
DFG Fachgebiet:
Informatik
DDC Sachgruppe:
Informatik