Statistics
Publications
1
Citations
25
H-Index
1
Active since
2011
Affiliations
Max Planck Institute for Informatics(Current)
Boris Wirtz is an author at Max Planck Institute for Informatics specializing in verification, automata in formal verification, and finite-state machines.
Publications per year
2011–2011
1
1
1–1 of 1