@inproceedings{SR11,
  title = "Construction and {SAT}-based verification of Contextual Unfoldings",
  author = "Schwoon, Stefan and Rodr\'{\i}guez, C{\'e}sar",
  year = "2011",
  booktitle = "Proc.\ of the 13th {I}nternational {W}orkshop on {D}escriptional {C}omplexity of {F}ormal {S}ystems ({DCFS}'11)",
  editor = "Holzer, Markus and Kutrib, Martin and Pighizzini, Giovanni",
  month = "jul",
  note = "Extended abstract",
  pages = "34--42",
  publisher = "Springer",
  series = "LNCS",
  volume = "6808",
  doi = "10.1007/978-3-642-22600-7_3",
}