![](https://media.springernature.com/w90/springer-static/cover/journal/10703/24/2.jpg?as=webp)
Volume 24, Issue 2
March 2004Special Issue on Selected Papers from the First International Workshop on Runtime Verification Held in Paris, July 2001 (RV'01).
5 articles in this issue