You are about to access our book library "Hardware and Software, Verification and Testing: Second International Haifa Verifcation Conference, Hvc 2006 Haifa, Israel, October 23-3-2006, Revised Selected Papers. Lecture Notes in Computer Science, Volume 4383. full version"
.