• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

On the Faithfulness of Formal Models.

Zohar MannaAmir Pnueli
Published in: MFCS (1991)
Keyphrases
  • formal models
  • expressive power
  • formal model
  • rule based systems
  • process model
  • pointwise
  • causal models
  • query language
  • probability distribution
  • rough sets
  • causal inferences