%0 Conference Paper %1 conf/itp/BarrasTT15 %A Barras, Bruno %A Tankink, Carst %A Tassi, Enrico %B ITP %D 2015 %E Urban, Christian %E Zhang, Xingyuan %I Springer %K dblp %P 51-66 %T Asynchronous Processing of Coq Documents: From the Kernel up to the User Interface. %U http://dblp.uni-trier.de/db/conf/itp/itp2015.html#BarrasTT15 %V 9236 %@ 978-3-319-22101-4

@inproceedings{conf/itp/BarrasTT15, added-at = {2017-05-21T00:00:00.000+0200}, author = {Barras, Bruno and Tankink, Carst and Tassi, Enrico}, biburl = {https://www.bibsonomy.org/bibtex/2c58eb1d5e14461800fdab2ca51d85ca7/dblp}, booktitle = {ITP}, crossref = {conf/itp/2015}, editor = {Urban, Christian and Zhang, Xingyuan}, ee = {https://doi.org/10.1007/978-3-319-22102-1_4}, interhash = {77a5e9ed827c0ab0255252342a57ce66}, intrahash = {c58eb1d5e14461800fdab2ca51d85ca7}, isbn = {978-3-319-22101-4}, keywords = {dblp}, pages = {51-66}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T18:14:30.000+0200}, title = {Asynchronous Processing of Coq Documents: From the Kernel up to the User Interface.}, url = {http://dblp.uni-trier.de/db/conf/itp/itp2015.html#BarrasTT15}, volume = 9236, year = 2015 }