%0 Journal Article %1 journals/ress/NemethBFH09 %A Németh, Erzsébet %A Bartha, Tamás %A Fazekas, Csaba %A Hangos, Katalin M. %D 2009 %J Reliab. Eng. Syst. Saf. %K dblp %N 5 %P 942-953 %T Verification of a primary-to-secondary leaking safety procedure in a nuclear power plant using coloured Petri nets. %U http://dblp.uni-trier.de/db/journals/ress/ress94.html#NemethBFH09 %V 94

@article{journals/ress/NemethBFH09, added-at = {2020-10-26T00:00:00.000+0100}, author = {Németh, Erzsébet and Bartha, Tamás and Fazekas, Csaba and Hangos, Katalin M.}, biburl = {https://www.bibsonomy.org/bibtex/203d705293d8d006ed73c2560da07e712/dblp}, ee = {https://doi.org/10.1016/j.ress.2008.10.012}, interhash = {65ba8044ec6cc017a8888ff3852ad206}, intrahash = {03d705293d8d006ed73c2560da07e712}, journal = {Reliab. Eng. Syst. Saf.}, keywords = {dblp}, number = 5, pages = {942-953}, timestamp = {2020-10-27T12:00:25.000+0100}, title = {Verification of a primary-to-secondary leaking safety procedure in a nuclear power plant using coloured Petri nets.}, url = {http://dblp.uni-trier.de/db/journals/ress/ress94.html#NemethBFH09}, volume = 94, year = 2009 }