Wang Yi 人物
Wang Yi · 相关论文
Uppaal in a nutshell
1997International Journal on Software Tools for Technology Transfer引用 2155
UPPAAL — a tool suite for automatic verification of real-time systems
1996Lecture notes in computer science引用 741
Timed Automata: Semantics, Algorithms and Tools
2004Lecture notes in computer science引用 714
CCS + time = an interleaving model for real time systems
1991Lecture notes in computer science引用 239