Nikhil Dinesh, Aravind K. Joshi, Insup Lee, Oleg Sokolsky. Checking Traces for Regulatory Conformance. In Martin Leucker, editor, Runtime Verification, 8th International Workshop, RV 2008, Budapest, Hungary, March 30, 2008. Selected Papers. Volume 5289 of Lecture Notes in Computer Science, pages 86-103, Springer, 2008. [doi]
Abstract is missing.