%0 Conference Paper %1 conf/csfw/BlanchetS16 %A Blanchet, Bruno %A Smyth, Ben %B CSF %D 2016 %I IEEE Computer Society %K dblp %P 310-324 %T Automated Reasoning for Equivalences in the Applied Pi Calculus with Barriers. %U http://dblp.uni-trier.de/db/conf/csfw/csf2016.html#BlanchetS16 %@ 978-1-5090-2607-4

@inproceedings{conf/csfw/BlanchetS16, added-at = {2023-09-30T00:00:00.000+0200}, author = {Blanchet, Bruno and Smyth, Ben}, biburl = {https://www.bibsonomy.org/bibtex/2aefc14606f55f21af0b7986a84149682/dblp}, booktitle = {CSF}, crossref = {conf/csfw/2016}, ee = {https://doi.ieeecomputersociety.org/10.1109/CSF.2016.29}, interhash = {96f612ed75d277fc36bd5bb2715589d0}, intrahash = {aefc14606f55f21af0b7986a84149682}, isbn = {978-1-5090-2607-4}, keywords = {dblp}, pages = {310-324}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T11:43:21.000+0200}, title = {Automated Reasoning for Equivalences in the Applied Pi Calculus with Barriers.}, url = {http://dblp.uni-trier.de/db/conf/csfw/csf2016.html#BlanchetS16}, year = 2016 }