Вы здесь

Kwon Y. M.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Linear Inequality LTL (iLTL): A Model Checker for Discrete Time Markov Chains 2004 Kwon Y. M., Agha G. Lecture Notes in Computer Science Lecture Notes in Computer Science 26.02.2005