%0 Conference Proceedings
%F Quemener-Jeron-SEGRAGRA95
%A Quemener, Y.-M.
%A Jéron, T.
%T Model-Checking of Infinite Kripke Structures Defined by Simple Graph Grammars
%B SEGRAGRA'95, Joint COMPUGRAPH/SEMAGRAPH Workshop on Graph Rewriting and Computation, Volterra, Italie
%E Corradini, A.
%E Montanari, U.
%N 2
%P 64-74
%S ENTCS
%I Elsevier Science B. V
%U http://www.elsevier.com/gej-ng/31/29/23/27/23/show/Products/notes/index.htt#028
%8 September
%D 1995