Login / Signup
Enriched MU-Calculi Module Checking
Alessandro Ferrante
Aniello Murano
Mimmo Parente
Published in:
CoRR (2008)
Keyphrases
</>
spatial relations
real world
verification method
verilog hdl
feature selection
case study
multi agent
control system
consistency checking