![](/img/cover-not-exists.png)
[IEEE 2017 17th International Conference on Application of Concurrency to System Design (ACSD) - Zaragoza (2017.6.25-2017.6.30)] 2017 17th International Conference on Application of Concurrency to System Design (ACSD) - Formal Design and Verification of an Asynchronous SRAM Controller
Khomenko, Victor, Mokhov, Andrey, Sokolov, Danil, Yakovlev, AlexYear:
2017
Language:
english
DOI:
10.1109/acsd.2017.12
File:
PDF, 580 KB
english, 2017