1.
Computer Aided Verification 16th International Conference, Cav 2004, Boston, Ma, Usa, July 1...
by Alur, Rajeev, Peled, Doron A.
ISBN: 9783540223429
List Price: $99.95
2.
Hybrid Systems Computation and Control 7th International Workshop, Hscc 2004, Philadelphia,...
by Alur, Rajeev, Pappas, Georg...
ISBN: 9783540212591
List Price: $110.00
3.
Embedded Software Third International Conference, Emsoft 2003, Philadelphia, Pa, Usa, Octobe...
by Alur, Rajeev, Lee, Insup
ISBN: 9783540202233
List Price: $64.00
4.
5.
Computer Aided Verification
by Alur, Rajeev, Henzinger, Th...
ISBN: 9783662206850
List Price: $24.99