The BisimDist Library: Efficient Computation of Bisimilarity Distances for Markovian Models

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

doi:10.1007/978-3-642-40196-1_23

The BisimDist Library: Efficient Computation of Bisimilarity Distances for Markovian Models

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

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

7 Citationer (Scopus)

Originalsprog	Engelsk
Titel	Quantitative Evaluation of Systems : 10th International Conference, QEST 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings
Redaktører	Kaustubh Joshi, Markus Siegle, Mariëlle Stoelinga, Pedro R. D'Argenio
Antal sider	4
Vol/bind	8054
Forlag	Springer Publishing Company
Publikationsdato	2013
Sider	278-281
ISBN (Trykt)	978-3-642-40195-4
ISBN (Elektronisk)	978-3-642-40196-1
DOI	https://doi.org/10.1007/978-3-642-40196-1_23
Status	Udgivet - 2013
Begivenhed	10th International Conference on Quantitative Evaluation of SysTems - University of Buenos Aires, Buenos Aires, Argentina Varighed: 27 aug. 2013 → 30 aug. 2013 Konferencens nummer: 10th

Konference

Konference	10th International Conference on Quantitative Evaluation of SysTems
Nummer	10th
Lokation	University of Buenos Aires
Land/Område	Argentina
By	Buenos Aires
Periode	27/08/2013 → 30/08/2013

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

Adgang til dokumentet

10.1007/978-3-642-40196-1_23

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). The BisimDist Library: Efficient Computation of Bisimilarity Distances for Markovian Models. I K. Joshi, M. Siegle, M. Stoelinga, & P. R. D'Argenio (red.), Quantitative Evaluation of Systems: 10th International Conference, QEST 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings (Bind 8054, s. 278-281). Springer Publishing Company. https://doi.org/10.1007/978-3-642-40196-1_23

Bacci, Giorgio ; Bacci, Giovanni ; Larsen, Kim Guldstrand et al. / The BisimDist Library : Efficient Computation of Bisimilarity Distances for Markovian Models. Quantitative Evaluation of Systems: 10th International Conference, QEST 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings. red. / Kaustubh Joshi ; Markus Siegle ; Mariëlle Stoelinga ; Pedro R. D'Argenio. Bind 8054 Springer Publishing Company, 2013. s. 278-281 (Lecture Notes in Computer Science, Bind 8054).

@inproceedings{e03f1c519340458882d68045bd07f2da,

title = "The BisimDist Library: Efficient Computation of Bisimilarity Distances for Markovian Models",

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

year = "2013",

doi = "10.1007/978-3-642-40196-1_23",

language = "English",

isbn = "978-3-642-40195-4",

volume = "8054",

series = "Lecture Notes in Computer Science",

publisher = "Springer Publishing Company",

pages = "278--281",

editor = "Kaustubh Joshi and Markus Siegle and Mari{\"e}lle Stoelinga and D'Argenio, {Pedro R.}",

booktitle = "Quantitative Evaluation of Systems",

address = "United States",

note = "10th International Conference on Quantitative Evaluation of SysTems, QEST 2013 ; Conference date: 27-08-2013 Through 30-08-2013",

}

Bacci, G , Bacci, G , Larsen, KG & Mardare, RI 2013, The BisimDist Library: Efficient Computation of Bisimilarity Distances for Markovian Models. i K Joshi, M Siegle, M Stoelinga & PR D'Argenio (red), Quantitative Evaluation of Systems: 10th International Conference, QEST 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings. bind 8054, Springer Publishing Company, Lecture Notes in Computer Science, bind 8054, s. 278-281, 10th International Conference on Quantitative Evaluation of SysTems, Buenos Aires, Argentina, 27/08/2013. https://doi.org/10.1007/978-3-642-40196-1_23

The BisimDist Library: Efficient Computation of Bisimilarity Distances for Markovian Models. / Bacci, Giorgio ; Bacci, Giovanni ; Larsen, Kim Guldstrand et al.
Quantitative Evaluation of Systems: 10th International Conference, QEST 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings. red. / Kaustubh Joshi; Markus Siegle; Mariëlle Stoelinga; Pedro R. D'Argenio. Bind 8054 Springer Publishing Company, 2013. s. 278-281 (Lecture Notes in Computer Science, Bind 8054).

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

TY - GEN

T1 - The BisimDist Library

T2 - 10th International Conference on Quantitative Evaluation of SysTems

AU - Bacci, Giorgio

AU - Bacci, Giovanni

AU - Larsen, Kim Guldstrand

AU - Mardare, Radu Iulian

N1 - Conference code: 10th

PY - 2013

Y1 - 2013

U2 - 10.1007/978-3-642-40196-1_23

DO - 10.1007/978-3-642-40196-1_23

M3 - Article in proceeding

SN - 978-3-642-40195-4

VL - 8054

T3 - Lecture Notes in Computer Science

SP - 278

EP - 281

BT - Quantitative Evaluation of Systems

A2 - Joshi, Kaustubh

A2 - Siegle, Markus

A2 - Stoelinga, Mariëlle

A2 - D'Argenio, Pedro R.

PB - Springer Publishing Company

Y2 - 27 August 2013 through 30 August 2013

ER -

Bacci G , Bacci G , Larsen KG, Mardare RI. The BisimDist Library: Efficient Computation of Bisimilarity Distances for Markovian Models. I Joshi K, Siegle M, Stoelinga M, D'Argenio PR, red., Quantitative Evaluation of Systems: 10th International Conference, QEST 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings. Bind 8054. Springer Publishing Company. 2013. s. 278-281. (Lecture Notes in Computer Science, Bind 8054). doi: 10.1007/978-3-642-40196-1_23

The BisimDist Library: Efficient Computation of Bisimilarity Distances for Markovian Models

Konference

Adgang til dokumentet

AUB Link

Projekter

IDEA4CPS: Foundations for Cyber-Physical Sytems

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

Citationsformater