Automatic Verification of a Behavioural Subset of UML Statechart Diagrams Using the SPIN Model-checker
| Title | Automatic Verification of a Behavioural Subset of UML Statechart Diagrams Using the SPIN Model-checker |
| Publication Type | Journal Article |
| Year of Publication | 1999 |
| Authors | Latella, D., Majzik, I., and Massink, M. |
| Journal | FORMAL ASPECTS OF COMPUTING |
| Volume | 11 |
| Issue | 6 |
| Pagination | 637 - 664 |
| Date Published | 1999 |
| ISBN Number | 0934-5043 |
| URL | http://mycite.omikk.bme.hu/doc/16328.pdf |
