Jump to : Contact | BibTex reference | EndNote reference |

Jard-Jeron-CARTIER94

C. Jard, T. Jéron. Formal Analysis of Distributed Computations. In (Conférence invitée) Septièmes entretiens du centre Jacques Cartier, Communicating Informatics and Distributed Systems, Grenoble, France, Gv. Bochmann, M. Barbeau, M. Riveill, J. Sifakis (eds.), December 1994.

Contact

Thierry Jéron http://www.irisa.fr/prive/jeron

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)

| VerTeCs | Team | Publications | New Results | Softwares |
Irisa - Inria - Copyright 2005 © Projet VerTeCs