A Compositional Theory of Refinement for Branching Time.

Panagiotis Manolios

Published in: CHARME (2003)

Keyphrases

theoretical framework
model checking
general theory
real time
artificial intelligence
temporal logic
databases
machine learning
information systems
knowledge base
website
three dimensional
description logics
theoretical foundation