Seniv, Maksym     Recursive algorithm of traversing reliability block diagram for creation reliability and refuse logical expressions [Текст] / Maksym Seniv, Andrii Mykuliak, Andrij Senechko // Perspective technologies and methods in MEMS design (MEMSTECH 2016) : pros. of ХІІ-th Intern. Conf., 20-24 april 2016, Lviv - Polyana, Ukraine / Min. of Education and Science of Nkraine, Lviv Polytechnic Nat. Univ. — Lviv : Lviv Polytechnic Publ. House, 2016. — P. 199-201.