Strong Retiming Equivalence of Synchronous Schemes.

Miklós Bartha
Published in: CIAA (2005)