%0 Conference Paper %1 conf/birthday/Gibson-Robinson17 %A Gibson-Robinson, Thomas %A Broadfoot, Guy H. %A Carvalho, Gustavo %A Hopcroft, Philippa J. %A Lowe, Gavin %A Nogueira, Sidney C. %A O'Halloran, Colin %A Sampaio, Augusto %B Concurrency, Security, and Puzzles %D 2017 %E Gibson-Robinson, Thomas %E Hopcroft, Philippa J. %E Lazic, Ranko %I Springer %K %P 65-87 %T FDR: From Theory to Industrial Application. %U http://dblp.uni-trier.de/db/conf/birthday/roscoe2017.html#Gibson-Robinson17 %V 10160 %@ 978-3-319-51045-3

@inproceedings{conf/birthday/Gibson-Robinson17, added-at = {2023-12-12T23:23:42.000+0100}, author = {Gibson-Robinson, Thomas and Broadfoot, Guy H. and Carvalho, Gustavo and Hopcroft, Philippa J. and Lowe, Gavin and Nogueira, Sidney C. and O'Halloran, Colin and Sampaio, Augusto}, biburl = {https://www.bibsonomy.org/bibtex/2ac744fb49a5507f44ddb04a10828e2ed/admin}, booktitle = {Concurrency, Security, and Puzzles}, crossref = {conf/birthday/2017roscoe}, editor = {Gibson-Robinson, Thomas and Hopcroft, Philippa J. and Lazic, Ranko}, ee = {https://doi.org/10.1007/978-3-319-51046-0_4}, interhash = {5567900cb7fec22bb1ecc125f4b12158}, intrahash = {ac744fb49a5507f44ddb04a10828e2ed}, isbn = {978-3-319-51045-3}, keywords = {}, pages = {65-87}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2023-12-12T23:23:42.000+0100}, title = {FDR: From Theory to Industrial Application.}, url = {http://dblp.uni-trier.de/db/conf/birthday/roscoe2017.html#Gibson-Robinson17}, volume = 10160, year = 2017 }