| SciPort RLP

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

Publikationen

Ihlemann, Carsten; Sofronie-Stokkermans, Viorica

System Description: H-PILoT (Version 1.9)

CoRR. S. 1 - 43