A Tool for Deciding the Satisfiability of Continuous-Time Metric Temporal Logic
Acta Informatica - Germany
doi 10.1007/s00236-015-0229-y
Full Text
Open PDFAbstract
Available in full text
Date
April 21, 2015
Authors
Publisher
Springer Science and Business Media LLC