Proceedings / 2012 20th IEEE International Conference on Program Comprehension (ICPC)Dirk BeyerEsaurito4,3Avvisami
Formale Verifikation von Realzeit-Systemen mittels Cottbus Timed AutomataDirk BeyerEsaurito4,3Avvisami
Kirchlicher Liberalismus in Osnabrück im Verlauf des 19. und am Beginn des 20. JahrhundertsDirk BeyerEsaurito4,3Avvisami