M. Sheeran

Theoretical Foundations of VLSI Design: Describing and reasoning about circuits using relations

M. Sheeran, M. Sheeran, 1990 .

SAT-solving in practice

M. Sheeran, K. Claessen, N. Een, 2008, 2008 9th International Workshop on Discrete Event Systems.

Design and verification of regular synchronous circuits

M. Sheeran, 1986 .