[译]时间自动机：语义，算法和工具

本文原题是《Timed Automata Semantics, Algorithms and Tools》，本人硕士毕业设计与此相关，研究了好久，现在自行翻译出来。转载请注明版权。 时间自动机：语义，算法和工具 Johan Bengtsson和Wang Yi Uppsala大学 ...