Probabilistic Linear-Time Model Checking: An Overview of the Automata-Theoretic Approach

Вы здесь

Автор:

Vardi M. Y.

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

Вид:

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

Год:

1999

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

модель

проверка

верификация

Стр.:

P.265-276.

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

Bibliogr.: p.273-276

Источник:

Lecture Notes in Computer Science

Том:

1601

Карточка:

А2.2, Б2.23.

Vardi M. Y..

Probabilistic Linear-Time Model Checking: An Overview of the Automata-Theoretic Approach// Lecture Notes in Computer Science-1999.-Vol. 1601.-P.265-276.
Bibliogr.: p.273-276

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

PAP19 617