Покозий Е.А. Метод верификации свойств параллелизма временных сетей Петри / Е.А.Покозий, 1999. - 28 с. - Текст : непосредственный.
Покозий Е.А. Методы спецификации и верификации параллельных моделей с непрерывным временем : Автореферат диссертации на соискание ученой степени канд. физ.-мат. наук:05.13.11 / Е. А. Покозий, 1999. - 16 с. - Текст : непосредственный.