I. A. Ryabinin, A. V. Strukov, “A Preface and an Introductory Article to the Re-edition of the Work of Platon Sergeevich Poreckiy «Solving General Tasks in Probability Theory by Using Mathematical Logic»”, Tr. SPIIRAN, 43 (2015), 5–26
2013
2.
A. Mozhaev, A. Nozik, A. V. Strukov, “Reliability Assessment for Three-State Element Systems Using ARBITER Software”, Tr. SPIIRAN, 31 (2013), 123–146
