Starten Sie Ihre Suche...


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

Viorica Sofronie-Stokkermans

Formale Methoden und Theoretische Informatik, Universität Koblenz
  • sofronie@uni-koblenz.de
Publikationen
Ergebnisse pro Seite:  10

Ihlemann, Carsten; Sofronie-Stokkermans, Viorica

System Description: H-PILoT (Version 1.9)

CoRR. S. 1 - 43