Computer Aided Verification 16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004. Proceedings - Alur, Rajeev; Peled, Doron A. (Springer Berlin Heidelberg, 2004)