时间自动机理论 1 电子书下载

原名:A Theory of Timed Automata 1
作品简介:定时自动机理论 1. Rajeev Alur 2. David L. Dill 3. 斯坦福大学计算机科学系。斯坦福大学，CA 94305。摘要。我们建议……