Search
Front page
Projects
Organizational units
Research output
Data sets
Persons
Activities
Press/Media
About
Инструментарий для вероятностной верификации на основе многокорневых диаграмм решений.
Research output
:
Contribution to journal
›
Article
›
peer-review
Overview
Cite this
Links
http://elibrary.ru/item.asp?id=17574177
Д.Ю. Бугайченко
Original language
Undefined
Pages (from-to)
99-120
Journal
СИСТЕМНОЕ ПРОГРАММИРОВАНИЕ
Volume
6
Issue number
1
State
Published -
2011
Externally published
Yes
ID: 5205300