[譯]時間自動機：語義，算法和工具

本文原題是《Timed Automata Semantics, Algorithms and Tools》，本人碩士畢業設計與此相關，研究了好久，現在自行翻譯出來。轉載請注明版權。 時間自動機：語義，算法和工具 Johan Bengtsson和Wang Yi Uppsala大學 ...