Orna Grumberg, Tamir Heyman, Assaf Schuster. A work-efficient distributed algorithm for reachability analysis. Formal Methods in System Design, 29(2):157-175, 2006. [doi]
@article{GrumbergHS06,
title = {A work-efficient distributed algorithm for reachability analysis},
author = {Orna Grumberg and Tamir Heyman and Assaf Schuster},
year = {2006},
doi = {10.1007/s10703-006-0011-4},
url = {http://dx.doi.org/10.1007/s10703-006-0011-4},
tags = {analysis},
researchr = {https://researchr.org/publication/GrumbergHS06},
cites = {0},
citedby = {0},
journal = {Formal Methods in System Design},
volume = {29},
number = {2},
pages = {157-175},
}