Author:
Botía Juan A.,Hernansáez Juan M.,Gómez-Skarmeta Antonio F.
Publisher
Springer Berlin Heidelberg
Reference24 articles.
1. Abdelwahed, S., Wonham, W.M.: Blocking detection in discrete event systems. In: Proceeding of the American Control Conference, Denver, Colorado, pp. 1673–1678 (2003)
2. Alberti, M., Gavanelli, M., Lamma, E., Mello, P., Torroni, P.: Specification and verification of agent interaction using social integrity constraints. Electronic Notes in Theoretical Computer Science 85(2) (2004)
3. Andrews, G.R.: Concurrent Programming. Principles and Practice. Addison-Wesley, Reading (1991)
4. Botía, J.A., Hernansáez, J.M., Gómez-Skarmeta, A.F.: Towards an approach for debugging mas through the analysis of acl messages. Computer Systems Science and Engineering 20 (2005)
5. Clarke, E.M., Grumber, O., Peled, D.: Model Checking. MIT Press, Cambridge (1999)
Cited by
10 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献