Search
Now showing items 1-10 of 908
Game theory semantics for PCTL model checking label-extended probabilistic Petri net
Publisher: IEEE
Year: 2014
PCTL∗ stochastic model checking label-extended probabilistic Petri net system model
Publisher: IEEE
Year: 2014