Logic-based Regulatory Conformance Checking (2007)

by Nikhil Dinesh , Aravind Joshi , Insup Lee , Oleg Sokolsky
Citations:9 - 7 self