Vera O. Ermakova

According to our database, Vera O. Ermakova authored at least 1 paper in 2016.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2016

Verification of Nested Petri Nets Using an Unfolding Approach.

Irina A. Lomazova, Vera O. Ermakova

Proceedings of the International Workshop on Petri Nets and Software Engineering 2016, 2016