Lobov, Andrei

name

• Lobov, Andrei

Authored works

• Formal validation of discrete automation systems applying structural reasoning and general unary hypothesis automaton methods

Works contributed to

Works about Lobov, Andrei