Performance analysis of probabilistic timed automata using digital clocks
Marta Kwiatkowska, Gethin Norman, David Parker, Jeremy SprostonТом:
29
Мова:
english
Сторінки:
46
DOI:
10.1007/s10703-006-0005-2
Date:
July, 2006
Файл:
PDF, 853 KB
english, 2006