Model-Checking-Software-17th-International-SPIN-Workshop-Enschede-The-Netherlands-September-27-29-2010-Proceedings-Lecture-Notes-in-Computer-Science-Band-6349 64,19 EUR*