-
Selection by year
-
Selection by authors
-
Complete lists
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)