Automated Synthesis of Crossbars for Nanoscale Computing using Formal Methods
Conference Proceeding
Overview
publication date
- July 8, 2015
Date in CU Experts
- January 19, 2024 5:59 AM
Full Author List
- Velasquez A; Jha SK
author count
- 2
citation count
- 17
presented at event
Other Profiles
International Standard Serial Number (ISSN)
- 2327-8218
Additional Document Info
start page
- 130
end page
- 136