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

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

5 Citationer (Scopus)
OriginalsprogEngelsk
TitelQuantitative Evaluation of Systems : 10th International Conference, QEST 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings
RedaktørerKaustubh Joshi, Markus Siegle, Mariëlle Stoelinga, Pedro R. D'Argenio
Antal sider4
Vol/bind8054
ForlagSpringer Publishing Company
Publikationsdato2013
Sider278-281
ISBN (Trykt)978-3-642-40195-4
ISBN (Elektronisk)978-3-642-40196-1
DOI
StatusUdgivet - 2013
Begivenhed10th International Conference on Quantitative Evaluation of SysTems - University of Buenos Aires, Buenos Aires, Argentina
Varighed: 27 aug. 201330 aug. 2013
Konferencens nummer: 10th

Konference

Konference10th International Conference on Quantitative Evaluation of SysTems
Nummer10th
LokationUniversity of Buenos Aires
LandArgentina
ByBuenos Aires
Periode27/08/201330/08/2013
NavnLecture Notes in Computer Science
Vol/bind8054
ISSN0302-9743

Citationsformater