Вы здесь
An Elementary Bisimulaton Decision Procedure for Arbitrary Context-Free Processes
Количество экземпляров:
1
Вид:
Статья из сборника или журнала
Год:
1995
Стр.:
P.423-433
Библиография:
Bibliogr.: p.433
Место издания:
Том:
969
Карточка:
Б2.1, Б2.4.
Burkart O., Caucal D., Steffen B..
An Elementary Bisimulaton Decision Procedure for Arbitrary Context-Free Processes-Berlin, Heidelberg.// Mathematical Foundations of Computer Science 1995, 1995.-Vol. 969.-P.423-433-(Lecture Notes in Computer Science).
Bibliogr.: p.433
Таблица в старой библиотеке:
PAP13 383