查詢 au:Alur, Rajeev, ，共 2 筆
查詢再細分
-
- 出版年
- 2004(2)
-
- 語言
- 英語(2)
-
- 作者
- Alur, Rajeev,(2)
- Pappas, George J.(1)
- Peled, Doron A.,(1)
-
- 資料類型
- 電子書(2)
-
7 0 0 0 0Computer aided verification :16th international conference, CAV 2004, Boston, MA, USA, July 13-17, 2004 ; proceedings
- 作者: Alur, Rajeev,
- 出版: Berlin ;New York : Springer ©2004.
- 資料類型: 電子書
-
38 0 0 0 0
Hybrid systems :computation and control : 7th international workshop, HSCC 2004, Philadelphia, PA, USA, March 25-27, 2004 : proceedings
- 作者: Alur, Rajeev,
- 出版: Berlin ;New York : Springer-Verlag 2004.
- 資料類型: 電子書