Parametric Systems: Verification and Synthesis
Fundamenta Informaticae. Bd. 173. H. 2-3. Amsterdam: IOS Press 2020 S. 91 - 138
Erscheinungsjahr: 2020
ISBN/ISSN: 1875-8681
Publikationstyp: Zeitschriftenaufsatz
Sprache: Englisch
Doi/URN: 10.3233/FI-2020-1918
Geprüft | Bibliothek |
Autoren
Sofronie-Stokkermans, Viorica (Autor)