Victor Khomenko, Andrey Mokhov, Danil Sokolov, Alex Yakovlev. Formal Design and Verification of an Asynchronous SRAM Controller. In 17th International Conference on Application of Concurrency to System Design, ACSD 2017, Zaragoza, Spain, June 25-30, 2017. pages 59-67, IEEE Computer Society, 2017. [doi]
Abstract is missing.