Performance analysis of probabilistic timed automata using digital clocks
Marta Kwiatkowska, Gethin Norman, David Parker, Jeremy SprostonVolume:
29
Language:
english
Pages:
46
DOI:
10.1007/s10703-006-0005-2
Date:
July, 2006
File:
PDF, 853 KB
english, 2006