Nikhil Dinesh, Aravind K. Joshi, Insup Lee, Oleg Sokolsky. Logic-Based Regulatory Conformance Checking. In Barbara Paech, Craig H. Martell, editors, Innovations for Requirement Analysis. From Stakeholders Needs to Formal Designs, 14th Monterey Workshop 2007, Monterey, CA, USA, September 10-13, 2007. Revised Selected Papers. Volume 5320 of Lecture Notes in Computer Science, pages 147-160, Springer, 2007. [doi]
Abstract is missing.