Max Nitze
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2014
Proceedings of the 8th International Workshop on Semantic Evaluation, 2014
Formale Methoden für Alle.
Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, 2014
Proceedings of the 44. Jahrestagung der Gesellschaft für Informatik, Big Data, 2014