Concepedia
Statistics
Publications
1
Citations
31
H-Index
Active since
2007
Yu. I. Zaks is an author specializing in formal methods, automated reasoning, and verification.
Top concepts
EngineeringVerificationFormal MethodsComputer ScienceAutomated ReasoningFormal Verification
Publications per year
2007–2007
Synchronizing automata with a letter of deficiency 2
D. S. Ananichev, Mikhail V. Volkov, Yu. I. Zaks · Theoretical Computer Science · 2007 · 31 citations
Logical Automaton, Engineering, Automated Reasoning +7
1–1 of 1