%0 Conference Proceedings %F 1025725 %A Mosbah, Mohamed %A Ossamy, Rodrigue %T Checking Global Properties for Local Computations in Graphs with Applications to Invariant Testing %B ENC '04: Proceedings of the Fifth Mexican International Conference in Computer Science %P 35-42 %I IEEE Computer Society %C Washington, DC, USA %U http://portal.acm.org/citation.cfm?id=1025725# %D 2004