diff --git a/CoLoSL-ESOP2015-CRC/esop2015.tex b/CoLoSL-ESOP2015-CRC/esop2015.tex index 14ef3c8..b543922 100644 --- a/CoLoSL-ESOP2015-CRC/esop2015.tex +++ b/CoLoSL-ESOP2015-CRC/esop2015.tex @@ -11,7 +11,7 @@ \begin{document} % %\title{CoLoSL: \underline{Co}ncurrent \underline{Lo}cal \underline{S}ubjective \underline{L}ogic} -\title{CoLoSL: Concurrent Local Subjective Logic} +\title{CoLoSL: Concurrent Local Subjective Logic\thanks{The final publication is available at Springer via \url{http://dx.doi.org/10.1007/978-3-662-46669-8_29}}} \author{Azalea Raad\and Jules Villard\and Philippa Gardner} \institute{Imperial College London\\ \emails}