Formal Validation of UML Statechart Diagrams Models
| Title | Formal Validation of UML Statechart Diagrams Models |
| Publication Type | Conference Paper |
| Year of Publication | 2000 |
| Authors | Gnesi, S., Latella, D., Majzik, I., and Massink, M. |
| Conference Name | UML2000 Workshop on Dynamic Behaviour in UML Models: Semantic Questions (The Third International Conference on The Unified Modeling Language) |
| Date Published | 2000 |
| URL | http://mycite.omikk.bme.hu/doc/16334.pdf |
