Proceedings / 2012 20th IEEE International Conference on Program Comprehension (ICPC)Dirk BeyerÉpuiséPrévenez-moi
Formale Verifikation von Realzeit-Systemen mittels Cottbus Timed AutomataDirk BeyerÉpuiséPrévenez-moi
Kirchlicher Liberalismus in Osnabrück im Verlauf des 19. und am Beginn des 20. JahrhundertsDirk BeyerÉpuiséPrévenez-moi