Showing 1 - 3 results of 3 for search 'Alur, Rajeev', query time: 0.02s Refine Results
  1. 1
    Embedded Software Third International Conference, EMSOFT 2003, Philadelphia, PA, USA, October 13-15, 2003, Proceedings /
    Published 2003
    Other Authors: “…Alur, Rajeev…”
    Full Text via HEAL-Link
    Electronic eBook
  2. 2
    Computer Aided Verification 16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004. Proceedings /
    Published 2004
    Other Authors: “…Alur, Rajeev…”
    Full Text via HEAL-Link
    Electronic eBook
  3. 3
    Hybrid Systems: Computation and Control 7th International Workshop, HSCC 2004, Philadelphia, PA, USA, March 25-27, 2004. Proceedings /
    Published 2004
    Other Authors: “…Alur, Rajeev…”
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search