0409706 20240103182125.220060210235959.9 Application of PC-COSYMA code such a verification tool used in stage of NPP design Arnhem KEMA 1997 Proceedings of the 4th COSYMA Users Group Meeting1-23van DortA. M. cav_un_auth*0021085 Pechová E. CZ cav_un_auth*0101176 Pecha Petr UTIA-B Department of Adaptive Systems Ústav teorie informace a automatizace AV ČR, v. v. i. cav_un_auth*0101168 Nedoma Petr UTIA-B Ústav teorie informace a automatizace AV ČR, v. v. i. http://library.utia.cas.cz/prace/970164.doc 100 cav_un_auth*0212363 COSYMA Users Group Meeting /4./ Prague CZ 23.09.1997-24.09.1997 AS http://hdl.handle.net/11104/0129799 UTIA-B 970164 1997 1997 Arnhem KEMA Proceedings of the 4th COSYMA Users Group Meeting 1 23 van Dort A. M. 340