Login / Signup
Vera O. Ermakova
Publication Activity (10 Years)
Years Active: 2016-2016
Publications (10 Years): 1
Top Topics
Discrete Dynamical Systems
Petri Net
Ims Ld
Model Checking
Top Venues
PNSE @ Petri Nets
</>
Publications
</>
Irina A. Lomazova
,
Vera O. Ermakova
Verification of Nested Petri Nets Using an Unfolding Approach.
PNSE @ Petri Nets
(2016)