Computer-Aided Verification of Coordinating Processes

Rating:
Summary: Good introductory material
Review: I started with no background on computer aided verification and this book from Kurshan. I think it not only gave me the basics on the subject but also gave quite a bit of insight. The references provided are helpful as well. Overall great book.