BibTeX record conf/dcfs/SchwoonR11

• > Home > conf/dcfs/SchwoonR11

@inproceedings{DBLP:conf/dcfs/SchwoonR11,
  author       = {Stefan Schwoon and
                  C{\'{e}}sar Rodr{\'{\i}}guez},
  editor       = {Markus Holzer and
                  Martin Kutrib and
                  Giovanni Pighizzini},
  title        = {Construction and SAT-Based Verification of Contextual Unfoldings},
  booktitle    = {Descriptional Complexity of Formal Systems - 13th International Workshop,
                  {DCFS} 2011, Gie{\ss}en/Limburg, Germany, July 25-27, 2011. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6808},
  pages        = {34--42},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-22600-7\_3},
  doi          = {10.1007/978-3-642-22600-7\_3},
  timestamp    = {Sun, 25 Oct 2020 22:35:40 +0100},
  biburl       = {https://dblp.org/rec/conf/dcfs/SchwoonR11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}