%0 Conference Paper %1 conf/nanoarch/VelasquezJ15 %A Velasquez, Alvaro %A Jha, Sumit Kumar %B NANOARCH %D 2015 %I IEEE Computer Society %K dblp %P 130-136 %T Automated synthesis of crossbars for nanoscale computing using formal methods. %U http://dblp.uni-trier.de/db/conf/nanoarch/nanoarch2015.html#VelasquezJ15 %@ 978-1-4673-7849-9

@inproceedings{conf/nanoarch/VelasquezJ15, added-at = {2023-03-23T00:00:00.000+0100}, author = {Velasquez, Alvaro and Jha, Sumit Kumar}, biburl = {https://www.bibsonomy.org/bibtex/28566a2603c8fbbbf9f5227988c0d57c8/dblp}, booktitle = {NANOARCH}, crossref = {conf/nanoarch/2015}, ee = {https://doi.ieeecomputersociety.org/10.1109/NANOARCH.2015.7180599}, interhash = {6bcc06d0f75c73d215b15d07481113b9}, intrahash = {8566a2603c8fbbbf9f5227988c0d57c8}, isbn = {978-1-4673-7849-9}, keywords = {dblp}, pages = {130-136}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T18:04:02.000+0200}, title = {Automated synthesis of crossbars for nanoscale computing using formal methods.}, url = {http://dblp.uni-trier.de/db/conf/nanoarch/nanoarch2015.html#VelasquezJ15}, year = 2015 }