Author:
Timm Nils,Botha Josua,Jordaan Steven
Reference39 articles.
1. Generalising the dining philosophers problem: competitive dynamic resource allocation in multi-agent systems;De Masellis,2018
2. Efficient allocation of resources in multiple heterogeneous wireless sensor networks;Li;J. Parallel Distrib. Comput.,2014
3. Alternating-time temporal logic;Alur;J. ACM,2002
4. Mocha: Modularity in model checking;Alur,1998
5. Mcmas: an open-source model checker for the verification of multi-agent systems;Lomuscio;Int. J. Softw. Tools Technol. Transf.,2017
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献