First Page | Document Content | |
---|---|---|
Date: 2016-04-11 04:53:31Logic Mathematics IP Interpretation Abstraction Linear temporal logic Craig interpolation | Checking Metric Temporal Logic with TRACE Martijn Hendriks, Marc Geilen, Amir R. B. Behrouzian, Twan Basten, Hadi Alizadeh, Dip Goswami ES Reports ISSNAdd to Reading ListSource URL: www.es.ele.tue.nlDownload Document from Source WebsiteFile Size: 1,31 MBShare Document on Facebook |