Statistics
Publications
1
Citations
12
H-Index
1
Active since
2003
Affiliations
Ruslan M. Novikov is an author at Siberian Branch of the Russian Academy of Sciences specializing in formal methods, petri net verification, and model checking.
Publications per year
2003–2003
1
1
1–1 of 1