Computer aided verification : 16th International Conference, CAV 2004 : Boston, MA, USA, July 13-17, 2004 : proceedings - Alur, Rajeev, 1966-; Peled, Doron A., 1962- (Lecture notes in computer science ;, 2004)