"Runtime Verification, 02.01. - 06.01.2007"

Bernd Finkbeiner et al. (2008)
a service of Schloss Dagstuhl - Leibniz Center for Informatics