Starten Sie Ihre Suche...


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

Suche


250 Treffer


× Publikationen
× 2019
× Universität Koblenz
× Hochschule Trier
× Hochschule Worms
× Technische Hochschule Bingen
× Hochschule für Wirtschaft und Gesellschaft Ludwigshafen









  • 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