Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%0 Conference Paper
%1 conf/csfw/BlanchetS16
%A Blanchet, Bruno
%A Smyth, Ben
%B CSF
%D 2016
%I IEEE Computer Society
%K
%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-12-13T04:31:35.000+0100},
author = {Blanchet, Bruno and Smyth, Ben},
biburl = {https://www.bibsonomy.org/bibtex/2aefc14606f55f21af0b7986a84149682/admin},
booktitle = {CSF},
crossref = {conf/csfw/2016},
ee = {http://doi.ieeecomputersociety.org/10.1109/CSF.2016.29},
interhash = {96f612ed75d277fc36bd5bb2715589d0},
intrahash = {aefc14606f55f21af0b7986a84149682},
isbn = {978-1-5090-2607-4},
keywords = {},
pages = {310-324},
publisher = {IEEE Computer Society},
timestamp = {2023-12-13T04:31:35.000+0100},
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
}