?url_ver=Z39.88-2004&rft_id=10.1007%2F3-540-60385-9_15&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.aulast=Fantechi&rft.aufirst=Alessandro&rft.au=Fantechi%2C+Alessandro&rft.date=1995&rft.title=Verifying+hardware+components+within+JACK&rft.btitle=Correct+Hardware+Design+and+Verification+Methods+(CHARME+1995)&rft.isbn=3-540-60385-9&rft.genre=bookitem