A Caltech Library Service

Items where Person is "Arichega-N"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Date | Item Type | First Author | No Grouping
Jump to: 2017
Number of items: 1.


Arichega, Nikos and Dathathri, Sumanth and Vernekar, Shashank et al. (2017) Fast Automatic Verification of Large-Scale Systems with Lookup Tables. . (Unpublished)

This list was generated on Mon Aug 10 19:57:04 2020 PDT.