Starten Sie Ihre Suche...


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

Suche


259 Treffer


× Publikationen
× 2019
× Johannes Gutenberg-Universität Mainz
× Universität Koblenz
× Hochschule Mainz
× Katholische Hochschule Mainz
× Theologische Fakultät Trier






  • Peuter, Dennis; Sofronie-Stokkermans, Viorica
  • On Inductive Verification and Synthesis
  • Christoph Benzmüller;Xavier Parent;Alexander Steen (Hrsg). Selected Student Contributions and Workshop Papers of LuxLogAI 2018. Manchester: EasyChair 2019 S. 1 - 8