Logic-based regulatory conformance checking (2007)

by Nikhil Dinesh, Aravind K Joshi, Insup Lee, Oleg Sokolsky
Venue:In Monterey Workshop