search author

9. RV 2009: Grenoble, France

Saddek Bensalem, Doron Peled (Eds.): Runtime Verification, 9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009. Selected Papers. Lecture Notes in Computer Science 5779 Springer 2009, ISBN 978-3-642-04693-3 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML