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