Starten Sie Ihre Suche...


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

On Invariant Synthesis for Parametric Systems.

CoRR. Bd. abs/1905.12524. 2019

Erscheinungsjahr: 2019

Publikationstyp: Zeitschriftenaufsatz

GeprüftBibliothek

Autoren

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

Verknüpfte Personen

Viorica Sofronie-Stokkermans
Viorica Sofronie-Stokkermans

Beteiligte Einrichtungen

Logo Institut für Informatik
Logo Formale Methoden und Theoretische Informatik