Starten Sie Ihre Suche...


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

Suche


27393 Treffer


× Hochschule Kaiserslautern
× Hochschule für Wirtschaft und Gesellschaft Ludwigshafen
× Hochschule Koblenz
× Hochschule Mainz
× Universität Koblenz










  • Peuter, Dennis; Sofronie-Stokkermans, Viorica
  • On Invariant Synthesis for Parametric Systems
  • Pascal Fontaine (Hrsg). Automated Deduction - CADE-27: 27th International Conference on Automated Deduction, Natal, Brazil, August 27–30, 2019, Proceedings. Gorgan: Gorgan University of Agricultural Sciences and Natural Resources 2019 S. 385 - 405