A front-end generator for verification tools
| Title | A front-end generator for verification tools |
| Publication Type | Journal Articles |
| Year of Publication | 1995 |
| Authors | Cleaveland R, Madelaine E, Sims S |
| Journal | Tools and Algorithms for the Construction and Analysis of Systems |
| Pagination | 153 - 173 |
| Date Published | 1995/// |