Login / Signup
Verification and generation of unrefinable partitions.
Riccardo Aragona
Lorenzo Campioni
Roberto Civino
Massimo Lauria
Published in:
CoRR (2021)
Keyphrases
</>
generation process
formal verification
model checking
database
e learning
face verification
information systems
clustering algorithm
multi agent
natural language
multi agent systems
distributed systems
person identification
concurrent systems