Login / Signup
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