Enriched µ-Calculi Module Checking.

Alessandro Ferrante Aniello Murano

Published in: FoSSaCS (2007)

Keyphrases

neural network
database
search engine
computer vision
e learning
database systems
bayesian networks
spatial relations
consistency checking
verification method
sequent calculi
verilog hdl