?url_ver=Z39.88-2004&rft_id=10.1007%2F3-540-45139-0_5&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.au=Edelkamp%2C+Stefan&rft.aufirst=Stefan&rft.aulast=Edelkamp&rft.date=2001&rft.btitle=Model+Checking+Software+(SPIN+'01)&rft.title=Directed+Explicit+Model+Checking+with+HSF-SPIN&rft.isbn=3-540-42124-6&rft.genre=bookitem