Statistics
Publications
1
Citations
38
H-Index
1
Active since
2010
Affiliations
Alexandre Petrenk is an author at Brazilian Society of Computational and Applied Mathematics specializing in finite state machine verification, fault-tolerant computing, and finite-state verification.
Publications per year
2010–2010
1
1
1–1 of 1