Login / Signup
Enriched µ-Calculi Module Checking.
Alessandro Ferrante
Aniello Murano
Mimmo Parente
Published in:
Log. Methods Comput. Sci. (2008)
Keyphrases
</>
real time
verification method
sequent calculi
information systems
knowledge base
consistency checking