Login / Signup
Alexander K. Petrenko
ORCID
Publication Activity (10 Years)
Years Active: 1999-2023
Publications (10 Years): 5
Top Topics
Working Set Selection
Operating System
Microsoft Windows
Formal Verification
Top Venues
Program. Comput. Softw.
Ershov Memorial Conference
Electron. Notes Theor. Comput. Sci.
ABZ
</>
Publications
</>