Login / Signup
Sergey A. Shershakov
ORCID
Publication Activity (10 Years)
Years Active: 2016-2021
Publications (10 Years): 6
Top Topics
Transition Systems
Process Mining
Model Checker
Formal Concept Analysis
Top Venues
Autom. Control. Comput. Sci.
AIST
ATAED@Petri Nets/ACSD
Trans. Petri Nets Other Model. Concurr.
</>
Publications
</>