Runtime Verification
www.runtime-verification.org
8. RV 2008: Budapest, Hungary
Martin Leucker (Ed.):
Runtime Verification, 8th International Workshop, RV 2008, Budapest, Hungary, March 30, 2008. Selected Papers.
Lecture Notes in Computer Science 5289 Springer 2008, ISBN 978-3-540-89246-5
Contents BibTeX
7. RV 2007: Vancover, BC, Canada
Oleg Sokolsky, Serdar Tasiran (Eds.):
Runtime Verification, 7th International Workshop, RV 2007, Vancover, Canada, March 13, 2007, Revised Selected Papers.
Lecture Notes in Computer Science 4839 Springer 2007, ISBN 978-3-540-77394-8
Contents BibTeX
Copyright © Sat May 16 23:36:19 2009
by Michael Ley (ley@uni-trier.de)
