Edit Profile Dylla, Maximilian Compute Distance To: Compute Author ID: dylla.maximilian Published as: Dylla, Maximilian Documents Indexed: 1 Publication since 2012 Co-Authors 0 single-authored 1 Ahrendt, Wolfgang Serials 1 Science of Computer Programming Fields 1 Computer science (68-XX) Publications by Year Citations contained in zbMATH Open 1 Publication has been cited 8 times in 8 Documents Cited by ▼ Year ▼ A system for compositional verification of asynchronous objects. Zbl 1264.68050Ahrendt, Wolfgang; Dylla, Maximilian 8 2012 A system for compositional verification of asynchronous objects. Zbl 1264.68050Ahrendt, Wolfgang; Dylla, Maximilian 8 2012 all top 5 Cited by 15 Authors 4 Owe, Olaf 3 Din, Crystal Chang 3 Johnsen, Einar Broch 2 Schlatte, Rudolf 2 Tapia Tarifa, Silvia Lizeth 1 Ábrahám, Erika 1 Ahrendt, Wolfgang 1 Chimento, Jesús Mauricio 1 Dovland, Johan 1 Kurnia, Ilham W. 1 Mai Thuong Tran, Thi 1 Pace, Gordon J. 1 Poetzsch-Heffter, Arnd 1 Schneider, Gerardo 1 Steffen, Martin Cited in 5 Serials 2 Journal of Logical and Algebraic Methods in Programming 1 Formal Aspects of Computing 1 MSCS. Mathematical Structures in Computer Science 1 Formal Methods in System Design 1 The Journal of Logic and Algebraic Programming Cited in 2 Fields 8 Computer science (68-XX) 2 Mathematical logic and foundations (03-XX) Citations by Year