Verifying Groups in Linear Time.

Shai Evra Shay Gadot Ohad Klein Ilan Komargodski

Published in: Electron. Colloquium Comput. Complex. (2023)

Keyphrases

model checking
databases
real time
artificial intelligence
metadata
medical images
group members