Research output per year
Research output per year
Research output
Search results
-
2017
Models, Algorithms, Logics and Tools: Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday
Aceto, L. (Editor), Bacci, G. (Editor), Bacci, G. (Editor), Ingolfsdottir, A. (Editor), Larsen, K. G. (Editor), Legay, A. (Editor) & Mardare, R. I. (Editor), 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