O.: Logic-based regulatory conformance checking (2007)

by N Dinesh, A Joshi, I Lee, Sokolsky
Venue:In: Proceedings of the 14th Monterey Workshop