A work-efficient distributed algorithm for reachability analysis
Orna Grumberg, Tamir Heyman, Assaf SchusterVolume:
29
Language:
english
Pages:
19
DOI:
10.1007/s10703-006-0011-4
Date:
September, 2006
File:
PDF, 550 KB
english, 2006