Author:
Lakos Charles A.,Kristensen Lars M.
Publisher
Springer Berlin Heidelberg
Reference26 articles.
1. Lecture Notes in Computer Science,2001
2. Bastide, R., Sy, O., Palanque, P.: A Formal Notation and Tool for the Engineering of CORBA Systems. Concurrency: Practice and Experience 12, 1379–1403 (2000)
3. Lecture Notes in Computer Science;O. Biberstein,2001
4. Billington, J., Gallasch, G.E., Kristensen, L.M., Mailund, T.: Exploiting Equivalence Redution and the Sweep-Line Method for Detecting Terminal States. IEEE Transactions on System, Man and Cybernetics 34(1), 23–37 (2004)
5. Ceska, M., Janousek, V., Vojnar, T.: Generating and Using State Spaces of Object-Oriented Petri Nets. International Journal of Computer Systems Science and Engineering 16(3), 183–193 (2001)
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Modelling Mobile IP with Mobile Petri Nets;Transactions on Petri Nets and Other Models of Concurrency III;2009