Verification of Modulo Counter Circuits

BesMasters 2026 Book chapter

View at publisher
Authors: Caroline Dominik
DOI: 10.1007/978-3-658-50155-6_5
Cited by: 0

Fields of Study & Subjects

Formal Methods in Verification Radiation Effects in Electronics

Publication details

Journal / source
BesMasters
Pages
33–51
Publication date
1 January 2026
Language
EN
Document type
Book chapter