BibTeX record journals/corr/abs-2003-11010

download as .bib file

@inproceedings{DBLP:journals/corr/abs-2003-11010,
  author       = {Nicolas Behr and
                  Maryam Ghaffari Saadat and
                  Reiko Heckel},
  editor       = {Berthold Hoffmann and
                  Mark Minas},
  title        = {Commutators for Stochastic Rewriting Systems: Theory and Implementation
                  in {Z3}},
  booktitle    = {Proceedings of the Eleventh International Workshop on Graph Computation
                  Models, GCM@STAF 2020, Online-Workshop, 24th June 2020},
  series       = {{EPTCS}},
  volume       = {330},
  pages        = {126--144},
  year         = {2020},
  url          = {https://doi.org/10.4204/EPTCS.330.8},
  doi          = {10.4204/EPTCS.330.8},
  timestamp    = {Tue, 12 Jan 2021 15:30:06 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2003-11010.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.