多龙·布斯坦；奥尔纳·格伦伯格 基于仿真的最小化。 （英语） Zbl 1365.68319号 ACM事务处理。计算。日志。 4，第2期，181-206（2003）. 引用于11文件 MSC公司： 60年第68季度 规范和验证（程序逻辑、模型检查等） 03B44号 时间逻辑 关键词：最小化；模拟 PDF格式BibTeX公司 XML格式引用 \textit｛D.Bustan｝和\textit｛O.Grumberg｝，ACM Trans。计算。日志。4，第2号，181--206（2003；Zbl 1365.68319） 全文： 内政部