@article{AVOCS_09_CSP_BMC,
  title = "Faster FDR Counterexample Generation Using SAT-Solving",
  author = "Hristina Palikareva and Joel Ouaknine and A. W. Roscoe",
  year = "2009",
  booktitle = "AVoCS'09 -- Proceedings of the Ninth International Workshop on Automated Verification of Critical Systems",
  editor = "Markus Roggenbach",
  journal = "Electronic Communications of the EASST",
  keywords = "CSP, FDR, concurrency, process algebra, Bounded Model Checking, SAT-solving, safety properties",
  month = "September",
  publisher = "Electronic Communications of the EASST",
  url = "http://web.comlab.ox.ac.uk/people/Hristina.Palikareva/publications/avocs_09.pdf",
  volume = "23",
}