H. Gross, N. Mayer, and J. Riano. Component-Based Software Development for Embedded Systems, volume 3778 of Lecture Notes in Computer Science, Springer, (2005)
A. Cremers, O. Mayer, and K. Weiss. Automatentheorie und Formale Sprachen, volume 2 of Lecture Notes in Computer Science, page 149-155. Springer, (1973)
N. Leichner, J. Peter, A. Mayer, and G. Krampen. CSEDU (Selected Papers), volume 510 of Communications in Computer and Information Science, page 359-371. Springer, (2014)
H. Mayer, J. Bartelsen, H. Hirschmüller, and A. Kuhn. Theoretical Foundations of Computer Vision, volume 7474 of Lecture Notes in Computer Science, page 285-304. Springer, (2011)
G. Alefeld, and G. Mayer. Numerical Software with Result Verification, volume 2991 of Lecture Notes in Computer Science, page 191-197. Springer, (2003)
W. Mayer, and M. Stumptner. Australian Joint Conference on Artificial Intelligence, volume 2557 of Lecture Notes in Computer Science, page 107-118. Springer, (2002)