%0 Journal Article %1 journals/ress/PapMPS05 %A Pap, Zsigmond %A Majzik, István %A Pataricza, András %A Szegi, András %D 2005 %J Reliab. Eng. Syst. Saf. %K dblp %N 1 %P 89-107 %T Methods of checking general safety criteria in UML statechart specifications. %U http://dblp.uni-trier.de/db/journals/ress/ress87.html#PapMPS05 %V 87

@article{journals/ress/PapMPS05, added-at = {2020-02-25T00:00:00.000+0100}, author = {Pap, Zsigmond and Majzik, István and Pataricza, András and Szegi, András}, biburl = {https://www.bibsonomy.org/bibtex/27782a2396381a56fe655de25178729fc/dblp}, ee = {https://doi.org/10.1016/j.ress.2004.04.011}, interhash = {ccece0ca6112a8c550d00a92ee2153dd}, intrahash = {7782a2396381a56fe655de25178729fc}, journal = {Reliab. Eng. Syst. Saf.}, keywords = {dblp}, number = 1, pages = {89-107}, timestamp = {2020-02-26T11:40:00.000+0100}, title = {Methods of checking general safety criteria in UML statechart specifications.}, url = {http://dblp.uni-trier.de/db/journals/ress/ress87.html#PapMPS05}, volume = 87, year = 2005 }