![](/img/cover-not-exists.png)
Using Lava to design and verify recursive and periodic sorters
Koen Claessen, Mary Sheeran, Satnam SinghVolume:
4
Language:
english
Pages:
10
DOI:
10.1007/s10009-002-0089-y
Date:
May, 2003
File:
PDF, 617 KB
english, 2003