![Logic / Mathematics / IP / Interpretation / Abstraction / Linear temporal logic / Craig interpolation Logic / Mathematics / IP / Interpretation / Abstraction / Linear temporal logic / Craig interpolation](https://www.pdfsearch.io/img/bf2e3691097e54c5a55ac48868b2f484.jpg) 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 Website File Size: 1,31 MBShare Document on Facebook
|