Duarte L. Oliveira, Gabriel C. Duarte, Gracieth Cavalcanti Batista, Diego A. Silva, Leonardo Romano. Synthesis of Asynchronous State Machines from Synchronous Specifications. In 11th IEEE Latin American Symposium on Circuits & Systems, LASCAS 2020, San Jose, Costa Rica, February 25-28, 2020. pages 1-4, IEEE, 2020. [doi]
Abstract is missing.