C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
On the Faithfulness of Formal Models.
Zohar Manna
Amir 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