Model Checking of Probabilistic and Nondeterministic Systems

Вы здесь

Автор:

Количество экземпляров:

Вид:

Статья из сборника или журнала

Год:

1995

Ключевые слова:

Стр.:

P.499-513.

Библиография:

Bibliogr.: p.512-513.

Источник:

Том:

1026

Карточка:

Б2.1, Б2.23.

Bianco A., De Alfaro L..

Model Checking of Probabilistic and Nondeterministic Systems// Lecture Notes in Computer Science-1995.-Vol. 1026.-P.499-513.
Bibliogr.: p.512-513.

Таблица в старой библиотеке:

PAP14 164