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

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

Original language	Undefined
Pages (from-to)	99-120
Journal	СИСТЕМНОЕ ПРОГРАММИРОВАНИЕ
Volume	6
Issue number	1
State	Published - 2011
Externally published	Yes

ID: 5205300