Howard Barringer, Bernd Finkbeiner, Yuri Gurevich, Henny Sipma, editors, Proceedings of the Fifth Workshop on Runtime Verification, RV@CAV 2005, Edinburgh, UK, July 12, 2005. Volume 144 of Electronic Notes in Theoretical Computer Science, Elsevier, 2006. [doi]
Conference: RV2006
Abstract is missing.