2016/07/07 by Parosh Aziz Abdulla, Stavros Aronis, Mohamed Faouzi Atig +4 · 1 citation
Computer Science · Engineering · #Formal Methods in Verification #Parallel Computing and Optimization Techniques #Radiation Effects in Electronics
paper · pdf · doi:10.1007/s00236-016-0275-0
crossref issued 2016/07/07 · crossref published 2016/07/07 · crossref published-online 2016/07/07 · openalex publication_date 2016/07/07 · crossref created 2016/07/07 · crossref published-print 2017/12/01 · crossref deposited 2019/09/10 · openalex created_date 2025/10/10 · crossref indexed 2026/08/01 · openalex updated_date 2026/08/02