...
机译:资源生产和消耗的资源受限ATL的模型检查*
School of Computer Science, The University of Nottingham, UK;
School of Computer Science, The University of Nottingham, UK;
Centre for Mobility and Transport, Coventry University, UK;
Department of Computer Science, Middlesex University, UK;
Model-checking; Resources; Coalitional ability; Verification of multi-agent systems;
机译:作物生产氮输入中能源消耗和CO_2排放的生命周期评估:农业有机废料回收的资源消耗和环境负荷研究
机译:作物生产氮素投入能耗和CO_2排放的生命周期评估:农业资源消费与有机废弃物循环利用环境负荷研究
机译:带有资源消耗和资源的资源受限项目调度问题的混合整数线性规划模型比较
机译:资源有限ATL的符号模型检查
机译:资源受限的信息获取和学习。
机译:到2050年与世界生物燃料生产相关的环境和资源负担:从碳排放和土地使用到废物产生和水消耗的足迹组成部分
机译:使用生产和\ ud对资源受限的ATL进行模型检查 资源消耗