%0 Conference Paper %1 conf/types/Gimenez95 %A Giménez, Eduardo %B TYPES %D 1995 %E Berardi, Stefano %E Coppo, Mario %I Springer %K dblp %P 135-152 %T An Application of Co-inductive Types in Coq: Verification of the Alternating Bit Protocol. %U http://dblp.uni-trier.de/db/conf/types/types95.html#Gimenez95 %V 1158 %@ 3-540-61780-9

@inproceedings{conf/types/Gimenez95, added-at = {2017-05-21T00:00:00.000+0200}, author = {Giménez, Eduardo}, biburl = {https://www.bibsonomy.org/bibtex/2030e6dbd87d7dcb939395ba2477adee0/dblp}, booktitle = {TYPES}, crossref = {conf/types/1995}, editor = {Berardi, Stefano and Coppo, Mario}, ee = {https://doi.org/10.1007/3-540-61780-9_67}, interhash = {bffc894afb85c03878642a36fe9fc3c9}, intrahash = {030e6dbd87d7dcb939395ba2477adee0}, isbn = {3-540-61780-9}, keywords = {dblp}, pages = {135-152}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T20:14:55.000+0200}, title = {An Application of Co-inductive Types in Coq: Verification of the Alternating Bit Protocol.}, url = {http://dblp.uni-trier.de/db/conf/types/types95.html#Gimenez95}, volume = 1158, year = 1995 }