Cite
MLA Citation
Luca Aceto et al., editors. Models, algorithms, logics and tools : essays dedicated to Kim Guldstrand Larsen on the occasion of his 60th birthday. Cham : Springer, 2017. http://access.bl.uk/ark:/81055/vdc_100073294034.0x000001