evaluating; interval algebra; Halpern-Shoham;
机译：使用时间逻辑分析时间逻辑：一种基于时间间隔的分层方法
机译：在线性时间逻辑下耦合多机器人系统和信号时间逻辑任务
机译：针对线性时序逻辑规范控制多仿射系统的输入输出仿真方法
机译：用于工程的时间逻辑系统。走向更实用的方法
机译：离散事件系统的监督控制和故障诊断：一种时间逻辑方法。
机译：一种使用QCA实现具有成本效益的算术逻辑电路的新型可逆逻辑门及其系统方法
机译：书籍评论链稳定和侵蚀控制：生物工程方法。 （第一个版本。）Morganr。 P. C.和Ricksonr。 J.（EDS）。 E＆Fn Spon，伦敦，1995. ISBN 0 419 15630 5，£47.50,274 PP.Dredge：工程师手册。 （第2版。）Brayr。 N.，Batesa。 D.和Landj。 M ..Arnold，伦敦，1997. ISBN 0 340 54524 0，225美元，434个PP.Ground隧道施工分类系统。 （第一个版本。）crabbg。 I ..运输研究实验室，1997年。ISSN 0968 4107,30 PP.Recent在土壤和路面力学的发展。 （第1版。）Almeidam。 （ed。）。 A. A. Balkema，1997. ISBN 90 5410 885 1，HFL 165,502 PP.Soil Mechanics-概念和应用。 （第一版。）Pow威.. E＆Fn Spon，1997. Isbn 0 419 19720 6，£24.99（平装图），420 PP.GeoTechnical工程。 （第2版。）兰肯塔.. A. A. Balkema，阿姆斯特丹，1995年。ISBN 90 5410 179 2，£46.00（纸张）和90 5410 178 4，£76（Sallbound），440 pp.Reatemake预测。 （第1版。）Lomnitzc .. John Wiley＆Sons，纽约，1994. Isbn 0 471 57419 8，£75,326 PP.Tunnel工程手册。 （第2版。）bickelj。 O.，Kueselt。 R.和Kinge。 H.（EDS）。 Chapman和Hall，1996。ISBN 0412 99291 4，£85,544 PP.Tunnel镗床 - 机械化隧道设计和构建的趋势。 （第一个版本。）瓦格纳。和schultera。 （EDS）。 A. A. Balkema，Rotterdam，1996。ISBN 90 5410 8118，HFL 120,260 PP.Deep挖掘 - 实用手册。 （第1版。）拉米..托马斯特福，伦敦，1996。ISBN 0 7277 1987 4，£80,435 PP.Barriers，衬里和覆盖土地污染的控制和控制。 （第一个版本。）privettk。 D.，Matthewss。 C.和hodgesr。 A ..建筑业研究和信息协会，特刊124,1996. ISBN 0 86017 437 9，£77.00（互联议员34.00英镑），278 PP.Earth加固和土壤结构。 （第3版。）Jonesc。 J. F. P .. Thomas Telford和Asce Press，1996。ISBN 0 7277 2525 4，£45,379 PP。
机译：功能时间微积分与时间逻辑：一种工程方法
