Login / Signup
Shay Gadot
Publication Activity (10 Years)
Years Active: 2023-2023
Publications (10 Years): 1
Top Topics
Model Checking
Group Members
Metadata
Top Venues
Electron. Colloquium Comput. Complex.
</>
Publications
</>
Shai Evra
,
Shay Gadot
,
Ohad Klein
,
Ilan Komargodski
Verifying Groups in Linear Time.
Electron. Colloquium Comput. Complex.
(2023)