Model Checking of Hierarchical State Machines

Вы здесь

Автор:

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

Вид:

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

Год:

1998

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

Стр.:

P.175-188.

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

Bibliogr.: p.187-188

Источник:

Номер:

Том:

Карточка:

Б3.54, Б2.2.

Alur R., Yannakakis M..

Model Checking of Hierarchical State Machines// Software Engineering Notes-1998, №6.-Vol. 23.-P.175-188.
Bibliogr.: p.187-188

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

ACM5 851