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

本文原题是《Timed Automata Semantics, Algorithms and Tools》，本人硕士毕业设计与此相关，研究了好久，现在自行翻译出来。转载请注明版权。 时间自动机：语义，算法和工具 Johan Bengtsson和Wang Yi   Uppsala大学 Email：{johanb,yi}@it.uu.se （译者：祝威http://bitzhuwei.cnblogs.

>>阅读原文<<