Concepedia
Statistics
Publications
1
Citations
55
H-Index
Active since
1967
N. E. Kobrinskii is an author specializing in formal methods.
Top concepts
Formal Methods
Publications per year
1967–1967
Introduction to the Theory of Finite Automata
Martin Davis, N. E. Kobrinskii, B. A. Trakhtenbrot · Mathematics of Computation · 1967 · 55 citations
Logical Automaton, Formal Methods, Automaton Operation +2
1–1 of 1