%0 Conference Paper %1 conf/itp/BispingBJRSSWPN16 %A Bisping, Benjamin %A Brodmann, Paul-David %A Jungnickel, Tim %A Rickmann, Christina %A Seidler, Henning %A Stüber, Anke %A Wilhelm-Weidner, Arno %A Peters, Kirstin %A Nestmann, Uwe %B ITP %D 2016 %E Blanchette, Jasmin Christian %E Merz, Stephan %I Springer %K %P 107-122 %T Mechanical Verification of a Constructive Proof for FLP. %U http://dblp.uni-trier.de/db/conf/itp/itp2016.html#BispingBJRSSWPN16 %V 9807 %@ 978-3-319-43143-7

@inproceedings{conf/itp/BispingBJRSSWPN16, added-at = {2023-12-14T15:07:43.000+0100}, author = {Bisping, Benjamin and Brodmann, Paul-David and Jungnickel, Tim and Rickmann, Christina and Seidler, Henning and Stüber, Anke and Wilhelm-Weidner, Arno and Peters, Kirstin and Nestmann, Uwe}, biburl = {https://www.bibsonomy.org/bibtex/2e1985755015103f382990195c83888ed/admin}, booktitle = {ITP}, crossref = {conf/itp/2016}, editor = {Blanchette, Jasmin Christian and Merz, Stephan}, ee = {https://doi.org/10.1007/978-3-319-43144-4_7}, interhash = {e78435aef8b7f73178b4b874a1ba78b5}, intrahash = {e1985755015103f382990195c83888ed}, isbn = {978-3-319-43143-7}, keywords = {}, pages = {107-122}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2023-12-14T15:07:43.000+0100}, title = {Mechanical Verification of a Constructive Proof for FLP.}, url = {http://dblp.uni-trier.de/db/conf/itp/itp2016.html#BispingBJRSSWPN16}, volume = 9807, year = 2016 }