DeepDyve - Search, Rent, Read
The easiest way for you to get scholarly articles:
- Millions of articles from over 6,000 authoritative journals.
- Get any 40 rentable articles for just $40 a month.
- Read rented articles for an entire year.
- Unused rentals get rolled over.
Model-checking concurrent systems with unbounded integer variables: symbolic representations, approximations, and experimental results
Bultan, Tevfik; Gerber, Richard; Pugh, William
Follow ACM Transactions on Programming Languages and Systems (TOPLAS) , Volume 21 (4) Association for Computing Machinery – Jul 1, 1999
Download PDF
43 pages
/lp/association-for-computing-machinery/model-checking-concurrent-systems-with-unbounded-integer-variables-DTaGMUVKJv
- Title
- Model-checking concurrent systems with unbounded integer variables: symbolic representations, approximations, and experimental results
- Author(s)
- Bultan, Tevfik; Gerber, Richard; Pugh, William
- Journal
- Follow ACM Transactions on Programming Languages and Systems (TOPLAS) , Volume 21 (4) Association for Computing Machinery – Jul 1, 1999
- Publisher
- Association for Computing Machinery
- Copyright
- Copyright © 1999 by ACM Inc.
- ISSN
- 0164-0925
- D.O.I.
- 10.1145/325478.325480
- Publisher site
- Get PDF