Starten Sie Ihre Suche...


Durch die Nutzung unserer Webseite erklären Sie sich damit einverstanden, dass wir Cookies verwenden. Weitere Informationen

On the Verification of Parametric Systems.

CoRR. Bd. abs/2310.18069. 2023

Erscheinungsjahr: 2023

Publikationstyp: Zeitschriftenaufsatz

Doi/URN: 10.48550/arXiv.2310.18069

Volltext über DOI/URN

GeprüftBibliothek

Autoren

Peuter, Dennis (Autor)
Marohn, Philipp (Autor)
Sofronie-Stokkermans, Viorica (Autor)

Verknüpfte Personen

Viorica Sofronie-Stokkermans

Beteiligte Einrichtungen

Logo Institut für Informatik