BibTeX record journals/corr/abs-1209-1432

download as .bib file

@inproceedings{DBLP:journals/corr/abs-1209-1432,
  author       = {Diego Latella and
                  Mieke Massink and
                  Erik P. de Vink},
  editor       = {Ulrike Golas and
                  Thomas Soboll},
  title        = {Bisimulation of Labeled State-to-Function Transition Systems of Stochastic
                  Process Languages},
  booktitle    = {Proceedings Seventh {ACCAT} Workshop on Applied and Computational
                  Category Theory, {ACCAT} 2012, Tallinn, Estonia, 1 April 2012},
  series       = {{EPTCS}},
  volume       = {93},
  pages        = {23--43},
  year         = {2012},
  url          = {https://doi.org/10.4204/EPTCS.93.2},
  doi          = {10.4204/EPTCS.93.2},
  timestamp    = {Mon, 26 Jun 2023 20:49:56 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1209-1432.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics