You are about to access our book library "Computer Aided Verification: 12th International Conference, Cav 2000 Chicago, Il, USA, July 15-19, 2000 Proceedings full version" .