Checking General Safety Criteria on UML Statecharts
| Title | Checking General Safety Criteria on UML Statecharts |
| Publication Type | Conference Paper |
| Year of Publication | 2001 |
| Authors | Pap, Z., Majzik, I., and Pataricza, A. |
| Conference Name | Computer Safety, Reliability and Security |
| Date Published | 2001 |
| Publisher | Springer-Verlag |
| Conference Location | Berlin ; Heidelberg |
