About this scholarly article

2014 IEEE 5th International Conference on Software Engineering and Service Science - PCTL∗ stochastic model checking label-extended probabilistic Petri net system model by Liu, Yang is a scholarly article available to read on EtoBox.

Author

Liu, Yang

Publisher

IEEE

Published

2014