Models, Algorithms, Logics and Tools: Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday

Luca Aceto; Giorgio Bacci; Giovanni Bacci; Anna Ingolfsdottir; Kim Guldstrand Larsen; Axel  Legay; Radu Iulian Mardare

doi:10.1007/978-3-319-63121-9

Models, Algorithms, Logics and Tools: Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday

Luca Aceto (Editor), Giorgio Bacci (Editor), Giovanni Bacci (Editor), Anna Ingolfsdottir (Editor), Kim Guldstrand Larsen (Editor), Axel Legay (Editor), Radu Iulian Mardare (Editor)

Research output: Book/Report › Anthology › Research › peer-review

Original language	English

Publisher	Springer
Volume	10460
Number of pages	1
ISBN (Print)	978-3-319-63120-2
ISBN (Electronic)	978-3-319-63121-9
DOIs	https://doi.org/10.1007/978-3-319-63121-9
Publication status	Published - 2017

Series	Lecture Notes in Computer Science
ISSN	0302-9743

Series	Theoretical Computer Science and General Issues
Volume	10460

Access to Document

10.1007/978-3-319-63121-9

AUB Link

Search for the material in Aalborg University Library's search engine

Cite this

Aceto, L., Bacci, G., Bacci, G., Ingolfsdottir, A., Larsen, K. G., Legay, A., & Mardare, R. I. (Eds.) (2017). Models, Algorithms, Logics and Tools: Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday. Springer. Lecture Notes in Computer Science Theoretical Computer Science and General Issues Vol. 10460 https://doi.org/10.1007/978-3-319-63121-9

@book{bd79b8057970423487205a00f5afd1a7,

title = "Models, Algorithms, Logics and Tools: Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday",

editor = "Luca Aceto and Giorgio Bacci and Giovanni Bacci and Anna Ingolfsdottir and Larsen, {Kim Guldstrand} and Axel Legay and Mardare, {Radu Iulian}",

year = "2017",

doi = "10.1007/978-3-319-63121-9",

language = "English",

isbn = "978-3-319-63120-2",

volume = "10460",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

address = "Germany",

}

Aceto, L, Bacci, G , Bacci, G, Ingolfsdottir, A, Larsen, KG, Legay, A & Mardare, RI (eds) 2017, Models, Algorithms, Logics and Tools: Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday. Lecture Notes in Computer Science, Theoretical Computer Science and General Issues, vol. 10460, vol. 10460, Springer. https://doi.org/10.1007/978-3-319-63121-9

Models, Algorithms, Logics and Tools: Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday. / Aceto, Luca (Editor); Bacci, Giorgio (Editor); Bacci, Giovanni (Editor) et al.
Springer, 2017. 1 p. (Lecture Notes in Computer Science). (Theoretical Computer Science and General Issues, Vol. 10460).

Research output: Book/Report › Anthology › Research › peer-review

TY - BOOK

T1 - Models, Algorithms, Logics and Tools

T2 - Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday

A2 - Aceto, Luca

A2 - Bacci, Giorgio

A2 - Bacci, Giovanni

A2 - Ingolfsdottir, Anna

A2 - Larsen, Kim Guldstrand

A2 - Legay, Axel

A2 - Mardare, Radu Iulian

PY - 2017

Y1 - 2017

U2 - 10.1007/978-3-319-63121-9

DO - 10.1007/978-3-319-63121-9

M3 - Anthology

SN - 978-3-319-63120-2

VL - 10460

T3 - Lecture Notes in Computer Science

BT - Models, Algorithms, Logics and Tools

PB - Springer

ER -

Aceto L, (ed.), Bacci G, (ed.), Bacci G, (ed.), Ingolfsdottir A, (ed.), Larsen KG, (ed.), Legay A, (ed.) et al. Models, Algorithms, Logics and Tools: Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday. Springer, 2017. 1 p. (Lecture Notes in Computer Science). (Theoretical Computer Science and General Issues, Vol. 10460). doi: 10.1007/978-3-319-63121-9