Markus Weißmann

Publikationen

Liste als BibTeX-Datei exportieren

• Juli 2011Model Checking Industrial Robot SystemsMarkus Weißmann, Stefan Bedenk, Christian Buckl und Alois Knoll In Proceedings of the 18th International Workshop on Model Checking of Software (SPIN 2011), Seiten 161–176, Springer-Verlag. DetailsURLDOIBIB