ICE-TCS, School of Computer Science, Reykjavik University, Iceland;
Departamento de Sistemas Informaticos y Computation, Universidad Complutense de Madrid, Spain;
Departamento de Sistemas Informaticos y Computation, Universidad Complutense de Madrid, Spain;
ICE-TCS, School of Computer Science, Reykjavik University, Iceland;
Departamento de Sistemas Informaticos y Computation, Universidad Complutense de Madrid, Spain;
机译:寻求与时间双仿真关系和分布相关的区域图的最佳生成
机译:有关双仿真的联合代数概念
机译:(公制)双仿真游戏和实值模态逻辑
机译:在布尔网络模型中将双仿真与吸引子联系起来
机译:用于双仿真或仿真等效的离散事件系统的监督控制。
机译:部分展开和重新折叠以改善结构:几何模拟和分子动力学的统一方法
机译:基于协调性 - 逆细化的分布量化模拟量化模拟延伸
机译:具有原子性和动作细化的并发的模拟语义