Вы здесь

Behavioural Equivalence for Infinite Systems - Partially Decidable!

Количество экземпляров: 
1
Вид: 
Статья из сборника или журнала
Год: 
1996
Стр.: 
P.460-479.
Библиография: 
Bibliogr.: p.478-479
Издательство: 
Том: 
1091
Карточка: 

Б2.42, Б2.15.

Sunesen K., Nielsen M..

Behavioural Equivalence for Infinite Systems - Partially Decidable!: Springer// Lecture Notes in Computer Science-1996.-Vol. 1091.-P.460-479.
Bibliogr.: p.478-479

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