| Books 1 - 10 of 13 | Previous | Next | 
|  | | Hybrid Systems: Computation and Control: 7th International Workshop, HSCC 2004, Philadelphia, PA, USA, March 25-27, 2004, Proceedings (Lecture Notes in Computer Science) (1st Edition)
by Rajeev Alur (Editor), George Pappas (Editor)
Paperback, 674 Pages, Published 2004 by Springer, 1st Edition
Compare Prices | Add to Wish List | Set Price Alert |
|  | | Hybrid Systems III: Verification and Control (Lecture Notes in Computer Science) (1st Edition)
by Rajeev Alur (Editor), Thomas A. Henzinger (Editor), Eduardo D. Sontag (Editor)
Paperback, 618 Pages, Published 1996 by Springer, 1st Edition
Compare Prices | Add to Wish List | Set Price Alert |
|  | | Computer Aided Verification: 6th International Conference, CAV 2004, Boston, MA, USA, July 3-7, 2004, Proceedings (Lecture Notes in Computer Science) (1st Edition)
by Rajeev Alur (Editor), Doron A. Peled (Editor)
Paperback, 536 Pages, Published 2004 by Springer, 1st Edition
Compare Prices | Add to Wish List | Set Price Alert |
|  | | Embedded Software: Third International Conference, EMSOFT 2003, Philadelphia, PA, USA, October 3-5, 2003, Proceedings (Lecture Notes in Computer Science) (1st Edition)
by Rajeev Alur (Editor), Insup Lee (Editor)
Paperback, 373 Pages, Published 2003 by Springer, 1st Edition
Compare Prices | Add to Wish List | Set Price Alert |
|  | | Alternating-time temporal logic (Memorandum)
by Rajeev Alur
Unknown Binding, 33 Pages, Published 1998 by Electronics Research Laboratory, College of Engineering, University of California
Compare Prices | Add to Wish List | Set Price Alert |
|  | | Event-clock automata: A determinizable class of timed automata (Memorandum)
by Rajeev Alur
Unknown Binding, 19 Pages, Published 1997 by Electronics Research Laboratory, College of Engineering, University of California
Compare Prices | Add to Wish List | Set Price Alert |
|  | | Symbolic exploration of transition hierarchies (Memorandum)
by Rajeev Alur
Unknown Binding, 13 Pages, Published 1998 by Electronics Research Laboratory, College of Engineering, University of California
Compare Prices | Add to Wish List | Set Price Alert |
|  | | Finitary fairness (Memorandum)
by Rajeev Alur
Unknown Binding, 24 Pages, Published 1998 by Electronics Research Laboratory, College of Engineering, University of California
Compare Prices | Add to Wish List | Set Price Alert |
|  | | Reactive modules (Memorandum)
by Rajeev Alur
Unknown Binding, 40 Pages, Published 1998 by Electronics Research Laboratory, College of Engineering, University of California
Compare Prices | Add to Wish List | Set Price Alert |
| | Books 1 - 10 of 13 | Previous | Next |
|