Oleg Sokolsky, Mahesh Viswanathan 0001, editors, Third Workshop on Run-time Verification, RV 2003, Boulder, Colorado, USA, July 14, 2003. Volume 89 of Electronic Notes in Theoretical Computer Science, Elsevier, 2003. [doi]
Conference: RV2003
Abstract is missing.