On-the-Fly Exact Computation of Bisimilarity Distances

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

29 Citations (Scopus)
Original languageEnglish
Title of host publicationTools 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
EditorsNir Piterman, Scott A. Smolka
Volume7795
PublisherSpringer Publishing Company
Publication date2013
Pages1-15
ISBN (Print)978-3-642-36741-0
ISBN (Electronic)978-3-642-36742-7
DOIs
Publication statusPublished - 2013
Event19th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS): ETAPS - Rome, Italy
Duration: 16 Mar 201324 Mar 2013

Conference

Conference19th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS)
CountryItaly
CityRome
Period16/03/201324/03/2013
SeriesLecture Notes in Computer Science
Volume7795
ISSN0302-9743

Cite this

Bacci, G., Bacci, G., Larsen, K. G., & Mardare, R. I. (2013). On-the-Fly Exact Computation of Bisimilarity Distances. In N. Piterman, & S. A. Smolka (Eds.), 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 (Vol. 7795, pp. 1-15). Springer Publishing Company. Lecture Notes in Computer Science, Vol.. 7795 https://doi.org/10.1007/978-3-642-36742-7_1