Concepedia
1
Publications
13
Citations
H-Index
2003
Active since
Г. Патаки is an author specializing in formal methods, automated reasoning, and engineering.
Top concepts
EngineeringFormal MethodsAutomated Reasoning
Publications per year
2003–2003
A unified treatment of well-chainedness and connectedness properties
Gergely Pataki, Г. Патаки, Árpád Száz et al. · Repository of the Academy's Library (Library of the Hungarian Academy of Sciences) · 2003 · 13 citations · Full text
Engineering, Automated Reasoning, Formal Methods +4
Rows per page
1–1 of 1