[Lecture Notes in Computer Science] Verification, Model Checking, and Abstract Interpretation Volume 10747 || Revisiting MITL to Fix Decision Procedures

• 作者Dillig, Isil; Palsberg, Jens
• 文件大小2241.64KB
• 发表时间2018
• DOI10.1007/978-3-319-73721-8_22
• 页码474-494