Local model checking and protocol analysis
| Title | Local model checking and protocol analysis |
| Publication Type | Journal Articles |
| Year of Publication | 1999 |
| Authors | Du X, Smolka SA, Cleaveland R |
| Journal | International Journal on Software Tools for Technology Transfer (STTT) |
| Volume | 2 |
| Issue | 3 |
| Pagination | 219 - 241 |
| Date Published | 1999/// |