Author:
Nguyen Truong Khanh,Sun Jun,Liu Yang,Dong Jin Song,Liu Yan
Publisher
Springer Berlin Heidelberg
Reference21 articles.
1. Berthomieu, B., Menasche, M.: An Enumerative Approach for Analyzing Time Petri Nets. In: IFIP Congress, pp. 41–46 (1983)
2. Lecture Notes in Computer Science;D.L. Dill,1990
3. Havelund, K., Skou, A., Larsen, K.G., Lund, K.: Formal Modeling and Analysis of an Audio/video Protocol: an Industrial Case Study using UPPAAL. In: RTSS, pp. 2–13 (1997)
4. Lecture Notes in Computer Science;T.A. Henzinger,1992
5. Lecture Notes in Computer Science;L. Lamport,2005
Cited by
10 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献