Author:
Chen Chunqing,Dong Jin Song
Publisher
Springer Berlin Heidelberg
Reference29 articles.
1. Lecture Notes in Computer Science;M.M. Adams,2005
2. Arthan, R.D., Caseley, P., O’Halloran, C., Smith, A.: ClawZ: Control laws in Z. In: ICFEM 2000, pp. 169–176. IEEE Press, Los Alamitos (2000)
3. Lecture Notes in Computer Science;P. Caspi,2003
4. Lecture Notes in Computer Science;A. Cavalcanti,2005
5. Dawson, J.E., Goré, R.: Machine-checking the timed interval calculus. In: Australian Joint Conference on Artificial Intelligence, pp. 95–106 (2002)
Cited by
8 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献