Alvaro Velasquez, Sumit Kumar Jha. Automated synthesis of crossbars for nanoscale computing using formal methods. In Proceedings of the 2015 IEEE/ACM International Symposium on Nanoscale Architectures, NANOARCH 2015, Boston, MA, USA, July 8-10, 2015. pages 130-136, IEEE, 2015. [doi]
Abstract is missing.