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