![](/img/cover-not-exists.png)
Graph models for reachability analysis of concurrent programs
Pezzè, Mauro, Taylor, Richard N., Young, MichalVolume:
4
Language:
english
Journal:
ACM Transactions on Software Engineering and Methodology
DOI:
10.1145/210134.210180
Date:
April, 1995
File:
PDF, 2.86 MB
english, 1995