Liste als BibTeX-Datei exportieren

2011

• Juli 2011 Model Checking Industrial Robot Systems Markus 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, Juli 2011. Springer-Verlag. Details URL DOI BIB

2009

• Juni 2009 A Software Architecture for Model-Based Programming of Robot Systems Michael Geisinger , Simon Barner , Martin Wojtczyk und Alois Knoll In Advances in Robotics Research – Theory, Implementation, Application, Seiten 135–146, Juni 2009. Springer. Details DOI BIB