Jump to : Contact | BibTex reference | EndNote reference |

Contact

Thierry Jéron
Thierry.Jeron@irisa.fr

BibTex Reference

@InProceedings{Jard-Jeron-CARTIER94,
   Author = {Jard, C. and Jéron, T.},
   Title = {Formal Analysis of Distributed Computations},
   BookTitle = {(Conférence invitée) Septièmes entretiens du centre Jacques Cartier, Communicating Informatics and Distributed Systems, Grenoble, France},
   editor = {Bochmann, Gv. and Barbeau, M. and Riveill, M. and Sifakis, J.},
   Publisher = {Université de Grenoble},
   Month = {December},
   Year = {1994}
}

EndNote Reference [help]

Get EndNote Reference (.ref)