Suche
Kategorie
Erscheinungsjahr
263 Treffer
×
Publikationen
×
< 2021
×
Johannes Gutenberg-Universität Mainz
×
Universität Koblenz
×
Hochschule Mainz
×
Katholische Hochschule Mainz
×
Hochschule Kaiserslautern
×
Technische Hochschule Bingen
×
Theologische Fakultät Trier
- Peuter, Dennis; Sofronie-Stokkermans, Viorica
- On Invariant Synthesis for Parametric Systems
- S. 1 - 33