Author:
Durán Francisco,Moreno-Delgado Antonio,Álvarez-Palomo José M.
Publisher
Springer Berlin Heidelberg
Reference41 articles.
1. Agha, G., Greenwald, M., Gunter, C.A., Khanna, S., Meseguer, J., Sen, K., Thati, P.: Formal modeling and analysis of DOS using probabilistic rewrite theories. In: Proceedings of FCS (2005)
2. Agha, G., Meseguer, J., Sen, K.: PMaude: rewrite-based specification language for probabilistic object systems. In: Proceedings of the QAPL, ENTCS, vol. 153, pp. 213–239 (2006)
3. Lecture Notes in Computer Science;M AlTurki,2011
4. Lecture Notes in Computer Science;J Bengtsson,1996
5. Lecture Notes in Computer Science;A Boronat,2008
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献