Login / Signup
An Expectation-Transformer Model for Probabilistic Temporal Logic.
Carroll Morgan
Annabelle McIver
Published in:
Log. J. IGPL (1999)
Keyphrases
</>
temporal logic
probabilistic model
process model