On-the-Fly Exact Computation of Bisimilarity Distances

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

doi:10.1007/978-3-642-36742-7_1

On-the-Fly Exact Computation of Bisimilarity Distances

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

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

34 Citationer (Scopus)

Originalsprog	Engelsk
Titel	Tools and Algorithms for the Construction and Analysis of Systems : 19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings
Redaktører	Nir Piterman, Scott A. Smolka
Vol/bind	7795
Forlag	Springer Publishing Company
Publikationsdato	2013
Sider	1-15
ISBN (Trykt)	978-3-642-36741-0
ISBN (Elektronisk)	978-3-642-36742-7
DOI	https://doi.org/10.1007/978-3-642-36742-7_1
Status	Udgivet - 2013
Begivenhed	19th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS): ETAPS - Rome, Italien Varighed: 16 mar. 2013 → 24 mar. 2013

Konference

Konference	19th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS)
Land/Område	Italien
By	Rome
Periode	16/03/2013 → 24/03/2013

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

Adgang til dokumentet

10.1007/978-3-642-36742-7_1

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
Modular Markovian Logics for Analysis of Stochastic Concurrent Systems
Mardare, R.
01/10/2010 → 30/09/2012
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). On-the-Fly Exact Computation of Bisimilarity Distances. I N. Piterman, & S. A. Smolka (red.), Tools and Algorithms for the Construction and Analysis of Systems: 19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings (Bind 7795, s. 1-15). Springer Publishing Company. https://doi.org/10.1007/978-3-642-36742-7_1

Bacci, Giorgio ; Bacci, Giovanni ; Larsen, Kim Guldstrand et al. / On-the-Fly Exact Computation of Bisimilarity Distances. Tools and Algorithms for the Construction and Analysis of Systems: 19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings. red. / Nir Piterman ; Scott A. Smolka. Bind 7795 Springer Publishing Company, 2013. s. 1-15 (Lecture Notes in Computer Science, Bind 7795).

@inproceedings{4cb6a2eff3204d08abc82ab076b406ac,

title = "On-the-Fly Exact Computation of Bisimilarity Distances",

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

year = "2013",

doi = "10.1007/978-3-642-36742-7_1",

language = "English",

isbn = "978-3-642-36741-0",

volume = "7795",

series = "Lecture Notes in Computer Science",

publisher = "Springer Publishing Company",

pages = "1--15",

editor = "Nir Piterman and Smolka, {Scott A.}",

booktitle = "Tools and Algorithms for the Construction and Analysis of Systems",

address = "United States",

note = "19th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS) : ETAPS, TACAS 2013 ; Conference date: 16-03-2013 Through 24-03-2013",

}

Bacci, G , Bacci, G , Larsen, KG & Mardare, RI 2013, On-the-Fly Exact Computation of Bisimilarity Distances. i N Piterman & SA Smolka (red), Tools and Algorithms for the Construction and Analysis of Systems: 19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings. bind 7795, Springer Publishing Company, Lecture Notes in Computer Science, bind 7795, s. 1-15, 19th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), Rome, Italien, 16/03/2013. https://doi.org/10.1007/978-3-642-36742-7_1

On-the-Fly Exact Computation of Bisimilarity Distances. / Bacci, Giorgio ; Bacci, Giovanni ; Larsen, Kim Guldstrand et al.
Tools and Algorithms for the Construction and Analysis of Systems: 19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings. red. / Nir Piterman; Scott A. Smolka. Bind 7795 Springer Publishing Company, 2013. s. 1-15 (Lecture Notes in Computer Science, Bind 7795).

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

TY - GEN

T1 - On-the-Fly Exact Computation of Bisimilarity Distances

AU - Bacci, Giorgio

AU - Bacci, Giovanni

AU - Larsen, Kim Guldstrand

AU - Mardare, Radu Iulian

PY - 2013

Y1 - 2013

U2 - 10.1007/978-3-642-36742-7_1

DO - 10.1007/978-3-642-36742-7_1

M3 - Article in proceeding

SN - 978-3-642-36741-0

VL - 7795

T3 - Lecture Notes in Computer Science

SP - 1

EP - 15

BT - Tools and Algorithms for the Construction and Analysis of Systems

A2 - Piterman, Nir

A2 - Smolka, Scott A.

PB - Springer Publishing Company

T2 - 19th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS)

Y2 - 16 March 2013 through 24 March 2013

ER -

Bacci G , Bacci G , Larsen KG, Mardare RI. On-the-Fly Exact Computation of Bisimilarity Distances. I Piterman N, Smolka SA, red., Tools and Algorithms for the Construction and Analysis of Systems: 19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings. Bind 7795. Springer Publishing Company. 2013. s. 1-15. (Lecture Notes in Computer Science, Bind 7795). doi: 10.1007/978-3-642-36742-7_1

On-the-Fly Exact Computation of Bisimilarity Distances

Konference

Adgang til dokumentet

AUB Link

Projekter

IDEA4CPS: Foundations for Cyber-Physical Sytems

Modular Markovian Logics for Analysis of Stochastic Concurrent Systems

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

Citationsformater