1990
Correctness proofs for systolic algorithms: palindromes and sorting
Publication
Publication
Additional Metadata | |
---|---|
, , | |
Cambridge University Press | |
Cambridge Tracts in Theoretical Computer Science | |
Kossen, L., & Weijland, W. P. (1990). Correctness proofs for systolic algorithms: palindromes and sorting. In Applications of process algebra (pp. 89–125). Cambridge University Press. |