Login / Signup
Igor S. Anureev
ORCID
Publication Activity (10 Years)
Years Active: 2002-2023
Publications (10 Years): 13
Top Topics
Mathematical Functions
Square Root
Conflict Resolution
Temporal Logic
Top Venues
Autom. Control. Comput. Sci.
Program. Comput. Softw.
CoRR
FM Workshops (1)
</>
Publications
</>