You are about to access our book library "Automated Technology for Verification and Analysis: Second International Conference, Atva 2004, Taipei, Taiwan, Roc, October 31 - November 3, 2004. Proceedings full version" .