Starten Sie Ihre Suche...


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

Parametric Systems: Verification and Synthesis

S. 1 - 39

Publikationstyp: (noch) nicht publizierte Dokumente

Sprache: Englisch

Doi/URN: 10.48550/arXiv.1910.05208

Volltext über DOI/URN

Website
GeprüftBibliothek

Autoren

Sofronie-Stokkermans, Viorica (Autor)

Beteiligte Einrichtungen

Logo Institut für Informatik
Logo Universität Koblenz