Cécile Braunstein, Emmanuelle Encrenaz. Formalizing the Incremental Design and Verification Process of a Pipelined Protocol Converter. In 17th IEEE International Workshop on Rapid System Prototyping (RSP 2006), 14-16 June 2006, Chania, Crete, Greece. pages 103-109, IEEE Computer Society, 2006. [doi]
Abstract is missing.