Juan José Pardo, Valentín Valero Ruiz, M. Carmen Ruiz, Fernando Cuartero, Gregorio Díaz. Obtaining Probabilistic Dynamic State Graphs for TPPAL Processes. In 16th Australian Software Engineering Conference (ASWEC 2005), 31 March - 1 April 2005, Brisbane, Australia. pages 118-127, IEEE Computer Society, 2005. [doi]
Abstract is missing.