Login / Signup

Enriched µ-Calculi Module Checking.

Alessandro FerranteAniello MuranoMimmo Parente
Published in: Log. Methods Comput. Sci. (2008)
Keyphrases
  • real time
  • verification method
  • sequent calculi
  • information systems
  • knowledge base
  • consistency checking