Login / Signup
Vladimir A. Zakharov
ORCID
Publication Activity (10 Years)
Years Active: 1987-2022
Publications (10 Years): 10
Top Topics
Reactive Systems
Temporal Logic
Model Checking
Finite State
Top Venues
Autom. Control. Comput. Sci.
Program. Comput. Softw.
UNIF
LATA
</>
Publications
</>