[CSUSB]>> [CNS]>> [CSE]>> [R J Botting]>> biba.php

Bibliographic Item (1.0)

KwonAgha11

  1. YoungMin Kwon & Gul Agha
  2. Verifying the evolution of probability distributions governed by a DTMC
  3. IEEE Trans Software Engineering V37n1(Jan/Fed 2011)pp126-141
  4. =THEORY DEMO TOOL MODAL LOGIC MODEL CHECKING iLTL MARKOV DISCRETE TIME BUCHI
  5. 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 uses POSIX regular expressions and ignores case)

Search for a specific bibliographic item by name.



To see the complete bibliography (1Mb+) select:[Bibliography]