1. Models, algorithms, logics and tools : essays dedicated to Kim Guldstrand Larsen on the occasion of his 60th birthday /: essays dedicated to Kim Guldstrand Larsen on the occasion of his 60th birthday. (2017) Editors: Aceto, Luca; Bacci, Giorgio; (Computer scientist), Bacci, Giovanni; Legay, Axel; Mardare, Radu; Anna Ingólfsdóttir, 1952- Other Names: Larsen, K. G (Kim G.) 1957- honouree. Record Type: Book Extent: 1 online resource (662 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗