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/lpar/BartheEGHS17
%A Barthe, Gilles
%A Espitau, Thomas
%A Grégoire, Benjamin
%A Hsu, Justin
%A Strub, Pierre-Yves
%B LPAR
%D 2017
%E Eiter, Thomas
%E Sands, David
%I EasyChair
%K dblp
%P 385-403
%T Proving uniformity and independence by self-composition and coupling.
%U http://dblp.uni-trier.de/db/conf/lpar/lpar2017.html#BartheEGHS17
%V 46
@inproceedings{conf/lpar/BartheEGHS17,
added-at = {2021-10-14T00:00:00.000+0200},
author = {Barthe, Gilles and Espitau, Thomas and Grégoire, Benjamin and Hsu, Justin and Strub, Pierre-Yves},
biburl = {https://www.bibsonomy.org/bibtex/2bece4cb2a41a20c3556f18bc1678437d/dblp},
booktitle = {LPAR},
crossref = {conf/lpar/2017},
editor = {Eiter, Thomas and Sands, David},
ee = {https://doi.org/10.29007/vz48},
interhash = {91da41e1ef2c624f65f743dd4b47be05},
intrahash = {bece4cb2a41a20c3556f18bc1678437d},
keywords = {dblp},
pages = {385-403},
publisher = {EasyChair},
series = {EPiC Series in Computing},
timestamp = {2024-04-09T10:16:07.000+0200},
title = {Proving uniformity and independence by self-composition and coupling.},
url = {http://dblp.uni-trier.de/db/conf/lpar/lpar2017.html#BartheEGHS17},
volume = 46,
year = 2017
}