%0 Journal Article %1 journals/corr/BarrasTT15 %A Barras, Bruno %A Tankink, Carst %A Tassi, Enrico %D 2015 %J CoRR %K %T Asynchronous processing of Coq documents: from the kernel up to the user interface. %U http://dblp.uni-trier.de/db/journals/corr/corr1506.html#BarrasTT15 %V abs/1506.05605

@article{journals/corr/BarrasTT15, added-at = {2023-12-13T01:52:23.000+0100}, author = {Barras, Bruno and Tankink, Carst and Tassi, Enrico}, biburl = {https://www.bibsonomy.org/bibtex/2aa45bdbc1d5c9a8b5744d98ba31ec522/admin}, ee = {http://arxiv.org/abs/1506.05605}, interhash = {77a5e9ed827c0ab0255252342a57ce66}, intrahash = {aa45bdbc1d5c9a8b5744d98ba31ec522}, journal = {CoRR}, keywords = {}, timestamp = {2023-12-13T01:52:23.000+0100}, title = {Asynchronous processing of Coq documents: from the kernel up to the user interface.}, url = {http://dblp.uni-trier.de/db/journals/corr/corr1506.html#BarrasTT15}, volume = {abs/1506.05605}, year = 2015 }