Вы здесь

Главная

Bisimulations Up-to for the Linear Time Branching Time Spectrum

Автор: 
De Frutos Escrig D.
Gregorio Rodriguez C.
Количество экземпляров: 
1
Вид: 
Статья из сборника или журнала
Год: 
2005
Ключевые слова: 
бисимуляция
семантика
параллелизм
аксиоматика
Стр.: 
P.278-292
Библиография: 
Bibliogr.: p.291-292
Место издания: 
Berlin
Heidelberg
Издательство: 
Springer
Серия: 
Lecture Notes in Computer Science
Источник: 
Lecture Notes in Computer Science
Том: 
3653
Карточка: 

Б2.22.

De Frutos Escrig D., Gregorio Rodriguez C..

Bisimulations Up-to for the Linear Time Branching Time Spectrum-Berlin, Heidelberg.: Springer// Lecture Notes in Computer Science, 2005.-Vol. 3653.-P.278-292-(Lecture Notes in Computer Science).
Bibliogr.: p.291-292

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