Fast generic model-checking for data-based systems
| Title | Fast generic model-checking for data-based systems |
| Publication Type | Journal Articles |
| Year of Publication | 2005 |
| Authors | Zhang D, Cleaveland R |
| Journal | Formal Techniques for Networked and Distributed Systems-FORTE 2005 |
| Pagination | 83 - 97 |
| Date Published | 2005/// |