On-the-Fly Exact Computation of Bisimilarity Distances

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

31 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