%0 Journal Article %1 journals/jlp/CogumbreiroSS17 %A Cogumbreiro, Tiago %A Shirako, Jun %A Sarkar, Vivek %D 2017 %J J. Log. Algebraic Methods Program. %K dblp %P 50-60 %T Formalization of Habanero phasers using Coq. %U http://dblp.uni-trier.de/db/journals/jlp/jlp90.html#CogumbreiroSS17 %V 90

@article{journals/jlp/CogumbreiroSS17, added-at = {2021-10-14T00:00:00.000+0200}, author = {Cogumbreiro, Tiago and Shirako, Jun and Sarkar, Vivek}, biburl = {https://www.bibsonomy.org/bibtex/25ff7eeda6bbce610233c6eb6cdfa2ff8/dblp}, ee = {https://doi.org/10.1016/j.jlamp.2017.02.006}, interhash = {70ebcd7f35740e82efb200746f928537}, intrahash = {5ff7eeda6bbce610233c6eb6cdfa2ff8}, journal = {J. Log. Algebraic Methods Program.}, keywords = {dblp}, pages = {50-60}, timestamp = {2024-04-08T10:50:21.000+0200}, title = {Formalization of Habanero phasers using Coq.}, url = {http://dblp.uni-trier.de/db/journals/jlp/jlp90.html#CogumbreiroSS17}, volume = 90, year = 2017 }