Javier de San Pedro, Thomas Bourgeat, Jordi Cortadella. Specification Mining for Asynchronous Controllers. In 22nd IEEE International Symposium on Asynchronous Circuits and Systems, ASYNC 2016, Porto Alegre, Brazil, May 8-11, 2016. pages 107-114, IEEE Computer Society, 2016. [doi]
Abstract is missing.