Describing and reasoning about circuits using relations (1986)

by Mary Sheeran
Venue:In Proceedings of Leeds Workshop on Theoretical As- pects of VLSI Design