APA (7th ed.) Citation

Lebedev, P. V. (2012). Polynomial Algorithm of Verication for Subset of PLTL Logic. Моделирование и анализ информационных систем, 19(2), 115-137.

Chicago Style (17th ed.) Citation

Lebedev, P. V. "Polynomial Algorithm of Verication for Subset of PLTL Logic." Моделирование и анализ информационных систем 19, no. 2 (2012): 115-137.

MLA (9th ed.) Citation

Lebedev, P. V. "Polynomial Algorithm of Verication for Subset of PLTL Logic." Моделирование и анализ информационных систем, vol. 19, no. 2, 2012, pp. 115-137.