%0 Journal Article %A Torre, Salvatore La %A Napoli, Margherita %T Automata-based representations for infinite graphs %J RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications %D 2001 %P 311-330 %V 35 %N 4 %I EDP-Sciences %U http://archive.numdam.org/item/ITA_2001__35_4_311_0/ %G en %F ITA_2001__35_4_311_0