%0 Conference Proceedings
%F Jard-Jeron-CARTIER94
%A Jard, C.
%A Jéron, T.
%T Formal Analysis of Distributed Computations
%B (Conférence invitée) Septièmes entretiens du centre Jacques Cartier, Communicating Informatics and Distributed Systems, Grenoble, France
%E Bochmann, Gv.
%E Barbeau, M.
%E Riveill, M.
%E Sifakis, J.
%I Université de Grenoble
%8 December
%D 1994