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

October 17, 2017 in by

by Giorgio Bacci, Giovani Bacci, Kim G. Larsen, Radu Mardare
Reference:
Giorgio Bacci, Giovani Bacci, Kim G. Larsen, Radu Mardare. The BisimDist Library: Efficient Computation of Bisimilarity Distances for Markovian Models. In Proceedings of the 10th International Conference on Quantitative Evaluation of Systems (QEST’13), pages 278-281. IEEE Comp. Soc. Press, August 2013.
Bibtex Entry:
@string{aug="August"}
@inproceedings{qest2013-BBLM,
  address =       {Buenos Aires, Argentina},
  author =        {Bacci, Giorgio and Bacci, Giovani and Larsen, Kim G. and
                   Mardare, Radu},
  booktitle =     {{P}roceedings of the 10th {I}nternational
                   {C}onference on {Q}uantitative {E}valuation of
                   {S}ystems ({QEST}'13)},
  month =         aug,
  pages =         {278-281},
  publisher =     {IEEE Comp. Soc. Press},
  title =         {The BisimDist Library: Efficient Computation of
                   Bisimilarity Distances for Markovian Models},
  year =          {2013},
  doi =           {10.1007/978-3-642-40196-1_23},
  url =           {http://www.cassting-project.eu/wp-content/uploads/
                  BBLM-qest13.pdf},
  category =      {conf},
  wps =           {wp3},
  partners =      {AAU},
  casstingpart =  {25},
}