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

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

5 Citations (Scopus)
Original languageEnglish
Title of host publicationQuantitative Evaluation of Systems : 10th International Conference, QEST 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings
EditorsKaustubh Joshi, Markus Siegle, Mariëlle Stoelinga, Pedro R. D'Argenio
Number of pages4
Volume8054
PublisherSpringer Publishing Company
Publication date2013
Pages278-281
ISBN (Print)978-3-642-40195-4
ISBN (Electronic)978-3-642-40196-1
DOIs
Publication statusPublished - 2013
Event10th International Conference on Quantitative Evaluation of SysTems - University of Buenos Aires, Buenos Aires, Argentina
Duration: 27 Aug 201330 Aug 2013
Conference number: 10th

Conference

Conference10th International Conference on Quantitative Evaluation of SysTems
Number10th
LocationUniversity of Buenos Aires
CountryArgentina
CityBuenos Aires
Period27/08/201330/08/2013
SeriesLecture Notes in Computer Science
Volume8054
ISSN0302-9743

Cite this