Model-checking concurrent systems with unbounded integer variables: symbolic representations, approximations, and experimental results
| Title | Model-checking concurrent systems with unbounded integer variables: symbolic representations, approximations, and experimental results |
| Publication Type | Journal Articles |
| Year of Publication | 1999 |
| Authors | Bultan T, Gerber R, Pugh W |
| Journal | ACM Transactions on Programming Languages and SystemsACM Trans. Program. Lang. Syst. |
| Volume | 21 |
| Issue | 4 |
| Pagination | 747 - 789 |
| Date Published | 1999/07// |
| ISBN Number | 01640925 |
| URL | http://dl.acm.org/citation.cfm?id=325480 |
| DOI | 10.1145/325478.325480 |