Formal Verification of Synchronous Systems’, in: Formal Aspects of VLSI Design (1986)

by H Eveking
Venue:Proceedings of the 1985 Edinburgh Workshop on VLSI, edited by G.J. Milne and P.A. Subrahmanyam (North-Holland