Author:
Bersani Marcello M.,Frigeri Achille,Morzenti Angelo,Pradella Matteo,Rossi Matteo,San Pietro Pierluigi
Cited by
12 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. An SMT-based approach to satisfiability checking of MITL;Information and Computation;2015-12
2. A tool for deciding the satisfiability of continuous-time metric temporal logic;Acta Informatica;2015-04-21
3. SMT-Based Checking of SOLOIST over Sparse Traces;Fundamental Approaches to Software Engineering;2014
4. MADES FP7 EU Project;Advances in Systems Analysis, Software Engineering, and High Performance Computing;2014
5. A Tool for Deciding the Satisfiability of Continuous-Time Metric Temporal Logic;2013 20th International Symposium on Temporal Representation and Reasoning;2013-09