Вы здесь

Verification and Comparison of Transition Systems

Автор: 
Количество экземпляров: 
1
Вид: 
Статья из сборника или журнала
Год: 
1993
Стр.: 
P.121-135.
Библиография: 
Bibliogr.: p.134-135.
Том: 
668
Карточка: 

Б2.42, Б2.24.

Arnold A..

Verification and Comparison of Transition Systems// Lecture Notes in Computer Science-1993.-Vol. 668.-P.121-135.
Bibliogr.: p.134-135.

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