Standard

Инструментарий для вероятностной верификации на основе многокорневых диаграмм решений. / Бугайченко, Д.Ю.

In: СИСТЕМНОЕ ПРОГРАММИРОВАНИЕ, Vol. 6, No. 1, 2011, p. 99-120.

Research output: Contribution to journal › Article › peer-review

Harvard

Бугайченко, ДЮ 2011, 'Инструментарий для вероятностной верификации на основе многокорневых диаграмм решений.', СИСТЕМНОЕ ПРОГРАММИРОВАНИЕ, vol. 6, no. 1, pp. 99-120. <http://elibrary.ru/item.asp?id=17574177>

APA

Бугайченко, Д. Ю. (2011). Инструментарий для вероятностной верификации на основе многокорневых диаграмм решений. СИСТЕМНОЕ ПРОГРАММИРОВАНИЕ, 6(1), 99-120. http://elibrary.ru/item.asp?id=17574177

Vancouver

Бугайченко ДЮ. Инструментарий для вероятностной верификации на основе многокорневых диаграмм решений. СИСТЕМНОЕ ПРОГРАММИРОВАНИЕ. 2011;6(1):99-120.

Author

Бугайченко, Д.Ю. / Инструментарий для вероятностной верификации на основе многокорневых диаграмм решений. In: СИСТЕМНОЕ ПРОГРАММИРОВАНИЕ. 2011 ; Vol. 6, No. 1. pp. 99-120.

BibTeX

@article{a153ffa8667b43368e9836af7f3a0986,
title = "Инструментарий для вероятностной верификации на основе многокорневых диаграмм решений.",
author = "Д.Ю. Бугайченко",
year = "2011",
language = "не определен",
volume = "6",
pages = "99--120",
journal = "СИСТЕМНОЕ ПРОГРАММИРОВАНИЕ",
issn = "1818-9105",
publisher = "Издательство Санкт-Петербургского университета",
number = "1",

}

RIS

TY - JOUR

T1 - Инструментарий для вероятностной верификации на основе многокорневых диаграмм решений.

AU - Бугайченко, Д.Ю.

PY - 2011

Y1 - 2011

M3 - статья

VL - 6

SP - 99

EP - 120

JO - СИСТЕМНОЕ ПРОГРАММИРОВАНИЕ

JF - СИСТЕМНОЕ ПРОГРАММИРОВАНИЕ

SN - 1818-9105

IS - 1

ER -

ID: 5205300