海量图书期刊资源,随时随地畅享阅读乐趣
A Cut-free Proof System for Bounded Metric Temporal Logic Over a Dense Time DomainFranco Montagna; G. Michele Pinna; Elisa B. P. Tiezzi · 2000