University of Wisconsin, Madison, Wisconsin 53706;
机译:基于扩展加权推动系统的信息基访问控制子集的正式验证
机译:欧米伽-代数系统的Greibach范式和加权的简单欧米伽-推下自动机
机译:加权下推系统及其在过程间数据流分析中的应用
机译:扩展加权推动系统
机译:下推控制系统的可决策性和最佳性:一种离散事件控制的新方法。
机译:电子鼻系统混合气味分析的局部加权最近邻算法和加权约束最小二乘方法
机译:扩展加权下推系统
机译:加权下推系统及其在过程间数据流分析中的应用