L.A.G.I.S., Ecole Centrale de Lille Cite Scientique, B.P. 48, 59651 Villeneuve d'Ascq Cedex, France;
机译:Petri网可达性问题的数学编程方法
机译:用数学编程技术求解最小标签生成树问题
机译:用数学编程技术求解最小标签生成树问题
机译:使用逻辑抽象技术和数学规划来解决Petri网可达性问题
机译:Petri网可达性分析的非循环变换技术。
机译:转录因子靶基因网络控制利什曼病的合成电路的逻辑抽象分析
机译:用数学规划技术查找培养网可达性问题的射击序列的方法