This book constitutes the thoroughly refereed joint post-proceedings of the two International Workshops on Formal Methods for Industrial Critical Systems, FMICS 2006, and on Parallel and Distributed Methods in Verification, PDMC 2006, held in Bonn, Germany in August 2006 in the course of the 17th International Conference on Concurrency Theory, CONCUR 2006.
Link did not work. I was unable to email for a new link or refund. Never even received initial email with download link I tried from checkout page.
The download never worked. I'm waiting on my refund.

Secure payment with SSL Encryption.
If you're not satisfied, let us know and we'll make it right.