Old Web
English
Sign In
Acemap
>
authorDetail
>
Luis A. Lastras-Montaño
Luis A. Lastras-Montaño
IBM
1
Papers
0
Citations
0
KQI
Citation Trend
Filter By
Interval:
1900~2024
1900
2024
Author
Papers (1)
Sort By
Default
Most Recent
Most Early
Most Citation
No data
Journal
Conference
Others
Formal verification of error correcting circuits using computational algebraic geometry
2012
| Formal Method in Computer-Aided Design
Alexey Lvov
Luis A. Lastras-Montaño
Viresh Paruthi
Robert Shadowen
Ali El-Zein
Show All
Source
Cite
Save
Citations (0)
1