Language: English
Help
回圖書館首頁
手機版館藏查詢
Login
Covers
Jump To : Overview | Titles | Subjects

Alur, Rajeev, (1966-)

Overview
Works: 2 works in 0 publications in 0 languages
Titles
Hybrid systems = computation and control: 7th international workshop, HSCC 2004, Philadelphia, PA, USA, March 25-27, 2004 : proceedings / by: Alur, Rajeev, (1966-); Pappas, George J.; SpringerLink (Online service); HSCC 2004 ((2004 :) (Language materials, printed)
Computer aided verification = 16th international conference, CAV 2004, Boston, MA, USA, July 13-17, 2004 ; proceedings / by: CAV (Conference) (2004 :); Alur, Rajeev, (1966-); Peled, Doron, (1962-); NetLibrary, Inc. (Electronic resources)
Embedded software = third international conference, EMSOFT 2003, Philadelphia, PA, USA, October 13-15, 2003 : proceedings / by: Alur, Rajeev, (1966-); SpringerLink (Online service); Lee, Insup.; EMSOFT (Conference) (Language materials, printed)
Computer aided verification = 16th international conference, CAV 2004 / by: Alur, Rajeev, (1966-); Peled, Doron, (1962-); SpringerLink (Online service); CAV (Conference) (2004 :) (Language materials, printed)
Hybrid systems = computation and control : 7th international workshop, HSCC 2004, Philadelphia, PA, USA, March 25-27, 2004 : proceedings / by: HSCC 2004 ((2004 :); Alur, Rajeev, (1966-); Pappas, George J.; NetLibrary, Inc. (Electronic resources)
 
 
Change password
Login