157 papers found
Refreshing results…
Formal verification of analog designs using MetiTarski
Download from www.researchgate.netQuantified Multimodal Logics in Simple Type Theory
Download from www.researchgate.netApplications of MetiTarski in the Verification of Control and Hybrid Systems
Download from www.researchgate.netMissing publications? Read more about our data sources.