Вы здесь

A Logic for Analyzing Abstractions of Graph Transformation Systems

Количество экземпляров: 
1
Вид: 
Статья из сборника или журнала
Год: 
2003
Стр.: 
P.255-272
Библиография: 
Bibliogr.: p.272
Том: 
2694
Карточка: 

Б2.42, Б3.2.

Baldan P., Konig B., Konig B..

A Logic for Analyzing Abstractions of Graph Transformation Systems// Lecture Notes in Computer Science-2003.-Vol. 2694.-P.255-272
Bibliogr.: p.272

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