[CSUSB]>> [CNS]>> [CSE]>> [R J Botting]>> biba.php
Bibliographic Item (1.0)
- YoungMin Kwon & Gul Agha
- Verifying the evolution of probability distributions governed by a DTMC
- IEEE Trans Software Engineering V37n1(Jan/Fed 2011)pp126-141
- =THEORY DEMO TOOL MODAL LOGIC MODEL CHECKING iLTL MARKOV DISCRETE TIME BUCHI
- Model has both probabilities and qualities on transitions and so expected value on paths. Probabillitues and qualities used to give modes in the logic.
Search for bibliographic items containing a matching string.
Search for a specific bibliographic item by name.
To see the complete bibliography (1Mb+) select:[Bibliography]