Björn Lisper, Sanjay V. Rajopadhye. Reasoning about Permutations in Regular Arrays. In Jørgen Staunstrup, Robin Sharp, editors, Designing Correct Circuits, Proceedings of the Second IFIP WG10.2/WG10.5 Workshop on Designing Correct Circuits, Lyngby, Denmark, 6-8 January 1992. Volume A-5 of IFIP Transactions, pages 139-157, North-Holland, 1992.
@inproceedings{LisperR92, title = {Reasoning about Permutations in Regular Arrays}, author = {Björn Lisper and Sanjay V. Rajopadhye}, year = {1992}, researchr = {https://researchr.org/publication/LisperR92}, cites = {0}, citedby = {0}, pages = {139-157}, booktitle = {Designing Correct Circuits, Proceedings of the Second IFIP WG10.2/WG10.5 Workshop on Designing Correct Circuits, Lyngby, Denmark, 6-8 January 1992}, editor = {Jørgen Staunstrup and Robin Sharp}, volume = {A-5}, series = {IFIP Transactions}, publisher = {North-Holland}, isbn = {0-444-89335-0}, }