?url_ver=Z39.88-2004&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.au=Turner%2C+Edd&rft.aulast=Turner&rft.aufirst=Edd&rft.date=2010&rft.title=A+Refinement-Based+Correctness+Proof+of+Symmetry+Reduced+Model+Checking&rft.genre=proceeding