Embedded Software Third International Conference, EMSOFT 2003, Philadelphia, PA, USA, October 13-15, 2003, Proceedings Alur Rajeev Heftet / 2003 / Engelsk
Computer Aided Verification 8th International Conference, CAV '96, New Brunswick, NJ, USA, July 31 - August 3, 1996. Proceedings Alur Rajeev Heftet / 1996 / Engelsk
Hybrid Systems: Computation and Control 7th International Workshop, HSCC 2004, Philadelphia, PA, USA, March 25-27, 2004, Proceedings Alur Rajeev Heftet / 2004 / Engelsk
Computer Aided Verification 16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004, Proceedings Alur Rajeev Heftet / 2004 / Engelsk
