...
机译:通过线性规划检查竞争自由
Tohoku Univ Sendai Miyagi 980 Japan.;
algorithms; languages; theory; verification; fractional capabilities; linear programming;
机译:通过线性规划检查竞争自由
机译:使用有限跟踪对ANSI-C程序进行模型检查LTL属性
机译:检查间隔线性规划中的弱优化性和强烈的界限
机译:通过线性编程检查种族自由度
机译:自查程序:通过使用资产来验证程序的公理方法。
机译:在社区计划中提供联合口服避孕药和醋酸甲羟孕酮联合避孕药的新清单。
机译:使用偏序顺序依赖的线性编程死锁检查