Computing Behavioral Distances, Compositionally

Giorgio Bacci; Giovanni Bacci; Kim Guldstrand Larsen; Radu Iulian Mardare

doi:10.1007/978-3-642-40313-2_9

Computing Behavioral Distances, Compositionally

Giorgio Bacci, Giovanni Bacci, Kim Guldstrand Larsen, Radu Iulian Mardare

Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

24 Citationer (Scopus)

Originalsprog	Engelsk
Titel	Mathematical Foundations of Computer Science 2013 : 38th International Symposium, MFCS 2013, Klosterneuburg, Austria, August 26-30, 2013. Proceedings
Redaktører	Krishnendu Chatterjee, Jirí Sgall
Vol/bind	8087
Forlag	Springer Publishing Company
Publikationsdato	2013
Sider	74-85
ISBN (Trykt)	978-3-642-40312-5
ISBN (Elektronisk)	978-3-642-40313-2
DOI	https://doi.org/10.1007/978-3-642-40313-2_9
Status	Udgivet - 2013
Begivenhed	38th International Symposium on Mathematical Foundations of Computer Science - IST Austria, Klosterneuburg, Østrig Varighed: 26 aug. 2013 → 30 aug. 2013 Konferencens nummer: 38th

Konference

Konference	38th International Symposium on Mathematical Foundations of Computer Science
Nummer	38th
Lokation	IST Austria
Land/Område	Østrig
By	Klosterneuburg
Periode	26/08/2013 → 30/08/2013

Navn	Lecture Notes in Computer Science
Vol/bind	8087
ISSN	0302-9743

Adgang til dokumentet

10.1007/978-3-642-40313-2_9

AUB Link

Søg efter materialet i Aalborg Universitetsbiblioteks søgemaskine

IDEA4CPS: Foundations for Cyber-Physical Sytems
Larsen, K. G., Skou, A., Nielsen, B., Bulychev, P., Ravn, A. P. & Poulsen, D. B.
01/04/2011 → 30/04/2015
Projekter: Projekt › Forskning
MT-LAB: MT-LAB A VKR Foundation Center of Excellence
Larsen, K. G., Skou, A., Srba, J., Ravn, A. P., David, A. & Wisniewski, R.
VKR Centre of Excellence
01/10/2008 → 01/10/2013
Projekter: Projekt › Forskning

Citationsformater

Bacci, G., Bacci, G., Larsen, K. G., & Mardare, R. I. (2013). Computing Behavioral Distances, Compositionally. I K. Chatterjee, & J. Sgall (red.), Mathematical Foundations of Computer Science 2013: 38th International Symposium, MFCS 2013, Klosterneuburg, Austria, August 26-30, 2013. Proceedings (Bind 8087, s. 74-85). Springer Publishing Company. https://doi.org/10.1007/978-3-642-40313-2_9

Bacci, Giorgio ; Bacci, Giovanni ; Larsen, Kim Guldstrand et al. / Computing Behavioral Distances, Compositionally. Mathematical Foundations of Computer Science 2013: 38th International Symposium, MFCS 2013, Klosterneuburg, Austria, August 26-30, 2013. Proceedings. red. / Krishnendu Chatterjee ; Jirí Sgall. Bind 8087 Springer Publishing Company, 2013. s. 74-85 (Lecture Notes in Computer Science, Bind 8087).

@inproceedings{ab25e840f5eb446bb5259adccb1493a6,

title = "Computing Behavioral Distances, Compositionally",

author = "Giorgio Bacci and Giovanni Bacci and Larsen, {Kim Guldstrand} and Mardare, {Radu Iulian}",

year = "2013",

doi = "10.1007/978-3-642-40313-2_9",

language = "English",

isbn = "978-3-642-40312-5",

volume = "8087",

series = "Lecture Notes in Computer Science",

publisher = "Springer Publishing Company",

pages = "74--85",

editor = "Krishnendu Chatterjee and Jir{\'i} Sgall",

booktitle = "Mathematical Foundations of Computer Science 2013",

address = "United States",

note = "38th International Symposium on Mathematical Foundations of Computer Science, MFCS 2013 ; Conference date: 26-08-2013 Through 30-08-2013",

}

Bacci, G , Bacci, G , Larsen, KG & Mardare, RI 2013, Computing Behavioral Distances, Compositionally. i K Chatterjee & J Sgall (red), Mathematical Foundations of Computer Science 2013: 38th International Symposium, MFCS 2013, Klosterneuburg, Austria, August 26-30, 2013. Proceedings. bind 8087, Springer Publishing Company, Lecture Notes in Computer Science, bind 8087, s. 74-85, 38th International Symposium on Mathematical Foundations of Computer Science, Klosterneuburg, Østrig, 26/08/2013. https://doi.org/10.1007/978-3-642-40313-2_9

Computing Behavioral Distances, Compositionally. / Bacci, Giorgio ; Bacci, Giovanni ; Larsen, Kim Guldstrand et al.
Mathematical Foundations of Computer Science 2013: 38th International Symposium, MFCS 2013, Klosterneuburg, Austria, August 26-30, 2013. Proceedings. red. / Krishnendu Chatterjee; Jirí Sgall. Bind 8087 Springer Publishing Company, 2013. s. 74-85 (Lecture Notes in Computer Science, Bind 8087).

Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

TY - GEN

T1 - Computing Behavioral Distances, Compositionally

AU - Bacci, Giorgio

AU - Bacci, Giovanni

AU - Larsen, Kim Guldstrand

AU - Mardare, Radu Iulian

N1 - Conference code: 38th

PY - 2013

Y1 - 2013

U2 - 10.1007/978-3-642-40313-2_9

DO - 10.1007/978-3-642-40313-2_9

M3 - Article in proceeding

SN - 978-3-642-40312-5

VL - 8087

T3 - Lecture Notes in Computer Science

SP - 74

EP - 85

BT - Mathematical Foundations of Computer Science 2013

A2 - Chatterjee, Krishnendu

A2 - Sgall, Jirí

PB - Springer Publishing Company

T2 - 38th International Symposium on Mathematical Foundations of Computer Science

Y2 - 26 August 2013 through 30 August 2013

ER -

Bacci G , Bacci G , Larsen KG, Mardare RI. Computing Behavioral Distances, Compositionally. I Chatterjee K, Sgall J, red., Mathematical Foundations of Computer Science 2013: 38th International Symposium, MFCS 2013, Klosterneuburg, Austria, August 26-30, 2013. Proceedings. Bind 8087. Springer Publishing Company. 2013. s. 74-85. (Lecture Notes in Computer Science, Bind 8087). doi: 10.1007/978-3-642-40313-2_9

Computing Behavioral Distances, Compositionally

Konference

Adgang til dokumentet

AUB Link

Projekter

IDEA4CPS: Foundations for Cyber-Physical Sytems

MT-LAB: MT-LAB A VKR Foundation Center of Excellence

Citationsformater