@InProceedings{Gibson-Robinson2013,
  title = {"Using FDR to Model Check CSP-Like Languages"},
  author = "{Gibson-Robinson}, {Thomas}",
  editor = "{Welch}, {Peter H.} and {Barnes}, {Frederick R. M.} and {Broenink}, {Jan F.} and {Chalmers}, {Kevin} and {Pedersen}, {Jan B{\ae}kgaard} and {Sampson}, {Adam T.}",
  pages = "323 -- 324",
  publisher = {"Open Channel Publishing Ltd., Bicester, UK"},
  booktitle = {"Communicating Process Architectures 2013"},
  isbn = "978-0-956540973",
  year = "2013",
  month = {"August"}
  note = "Fringe Presentation",
}