%0 Conference Paper %1 journals/corr/abs-1304-7859 %A Verbeek, Freek %A Schmaltz, Julien %B ACL2 %D 2013 %E Gamboa, Ruben %E Davis, Jared %K dblp %P 70-84 %T Verification of Building Blocks for Asynchronous Circuits %U http://dblp.uni-trier.de/db/series/eptcs/eptcs114.html#abs-1304-7859 %V 114

@inproceedings{journals/corr/abs-1304-7859, added-at = {2018-09-12T00:00:00.000+0200}, author = {Verbeek, Freek and Schmaltz, Julien}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2d7bb950759101cabb898a7aaaf7e795d/dblp}, booktitle = {ACL2}, crossref = {journals/corr/abs-1304-7123}, editor = {Gamboa, Ruben and Davis, Jared}, ee = {http://arxiv.org/abs/1304.7859}, interhash = {deb5e5fe181b1c224d2762dd8d4a9c85}, intrahash = {d7bb950759101cabb898a7aaaf7e795d}, keywords = {dblp}, pages = {70-84}, series = {EPTCS}, timestamp = {2019-09-27T12:28:57.000+0200}, title = {Verification of Building Blocks for Asynchronous Circuits}, url = {http://dblp.uni-trier.de/db/series/eptcs/eptcs114.html#abs-1304-7859}, volume = 114, year = 2013 }