|
ComputingReviews.com
|
Model-checking concurrent systems with unbounded integer variables: symbolic representations, approximations, and experimental results Bultan T., Gerber R., Pugh W. ACM Transactions on Programming Languages and Systems21(4):747-789,1999.Type:Article |
|
|
|
Published By: ACM Press |
|
|
|
|
|
|
|
|
Use your personal or institutional subscription to read the fulltext of the article.
|
|
|
|
|
|
|
|
|
|
|
|