Author:
Fleischhack Hans,Pelz Elisabeth
Publisher
Springer Berlin Heidelberg
Reference31 articles.
1. Lect Notes Comput Sci;O. M. Alonso,2001
2. T. Aura, J. Lilius: Time Processes for Time Petri Nets. Proc. ICATPN, Toulouse (1997).
3. B. Berthomieu, M. Diaz: Modelling and Verification of Time Dependent Systems Using Time Petri Nets. IEEE Transactions on Software Engineering, Volume 17/3, 259–273 (1991).
4. E. Best: Partial Order Verification with PEP. Proc. POMIV’96, Partial Order Methods in Verification, G. Holzmann, D. Peled, and V. Pratt (eds.), American Mathematical Society (1996).
5. Lect Notes Comput Sci;E. Best,1993
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献