Capturing Processes in Probabilistic Timed Automata.

Harry H. Beyel, Maximilian Prokop, Jan Kretnsk, Giuseppe De Giacomo, Wil M. P. van der Aalst

Browse the full CaiSE paper archive.