Checking General Safety Criteria on UML Statecharts.

Zsigmond Pap, Istvn Majzik, Andrs Pataricza

Browse the full SAFECOMP paper archive.