TY  - JOUR
AU  - M. 

 Blažević
AU  - Z. Budimac
AU  - M. Ivanović
TI  - Formal 

 specification of a graph rewriting system with environments
JO  - Novi Sad Journal of Mathematics
PY  - 1999
SP  - 13
EP  - 27
VL  - 29
IS  - 2
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/NSJOM_1999_29_2a_3/
ID  - NSJOM_1999_29_2a_3
ER  -