# Automated synthesis of crossbars for nanoscale computing using formal methods

> Research article (Proceedings of the 2015 IEEE/ACM International Symposium on Nanoscale Architectures (NANOARCH´15), 2015) · cited 23× · AI/ML

**Wikidata**: [openalex:W1554230273](https://www.wikidata.org/wiki/openalex:W1554230273)  
**Source**: https://4ort.xyz/entity/automated-synthesis-of-crossbars-for-nanoscale-computing-using-formal-methods