Research Output per year
Models, Algorithms, Logics and Tools: Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th BirthdayAceto, L. (ed.), Bacci, G. (ed.), Bacci, G. (ed.), Ingolfsdottir, A. (ed.), Larsen, K. G. (ed.), Legay, A. (ed.) & Mardare, R. I. (ed.), 2017, Springer. 1 p. (Lecture Notes in Computer Science). (Theoretical Computer Science and General Issues, Vol. 10460).
Research output: Book/Report › Anthology › Research › peer-review