Author:
Wang Kuangze,Boucheneb Hanifa,Barkaoui Kamel,Li Zhiwu
Publisher
Springer International Publishing
Reference21 articles.
1. Belluomini, W., Myers, C.J.: Timed state space exploration using POSETs. IEEE Trans. Comput. Aided Des. Integr. Circuits 19(5), 501–520 (2000)
2. Bengtsson, J.: Clocks, DBMs and States in Timed Systems. PhD thesis, Dept. of Information Technology, Uppsala University (2002)
3. Lecture Notes in Computer Science;J Bengtsson,1998
4. Berthomieu, B., Diaz, M.: Modeling and verification of time dependent systems using time Petri nets. IEEE Trans. Software Eng. 17(3), 259–273 (1991)
5. Lecture Notes in Computer Science;B Berthomieu,2003
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献