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 (Redaktør), Giorgio Bacci (Redaktør), Giovanni Bacci (Redaktør), Anna Ingolfsdottir (Redaktør), Kim Guldstrand Larsen (Redaktør), Axel Legay (Redaktør), Radu Iulian Mardare (Redaktør)

Publikation: Bog/antologi/afhandling/rapport › Antologi › Forskning › peer review

Originalsprog	Engelsk

Forlag	Springer
Vol/bind	10460
Antal sider	1
ISBN (Trykt)	978-3-319-63120-2
ISBN (Elektronisk)	978-3-319-63121-9
DOI	https://doi.org/10.1007/978-3-319-63121-9
Status	Udgivet - 2017

Navn	Lecture Notes in Computer Science
ISSN	0302-9743

Navn	Theoretical Computer Science and General Issues
Vol/bind	10460

Adgang til dokumentet

10.1007/978-3-319-63121-9

AUB Link

Søg efter materialet i Aalborg Universitetsbiblioteks søgemaskine

Citationsformater

Aceto, L., Bacci, G., Bacci, G., Ingolfsdottir, A., Larsen, K. G., Legay, A., & Mardare, R. I. (red.) (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 Bind 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 (red) 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, bind 10460, bind 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 (Redaktør); Bacci, Giorgio (Redaktør); Bacci, Giovanni (Redaktør) et al.
Springer, 2017. 1 s. (Lecture Notes in Computer Science). (Theoretical Computer Science and General Issues, Bind 10460).

Publikation: Bog/antologi/afhandling/rapport › Antologi › Forskning › 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 s. (Lecture Notes in Computer Science). (Theoretical Computer Science and General Issues, Bind 10460). doi: 10.1007/978-3-319-63121-9