nebut00a

M. Nebut. Calcul d'horloges et valeurs. In MOVEP'2k MOdelling and VErification of Parallel processes, F. Cassez, C. Jard, B. Rozoy, M. Ryan (eds.), Pages 199-202, Nantes, Juin 2000.

Contact

Mirabelle Nebut

Référence BibTex

@InProceedings{nebut00a,
   Author = {Nebut, M.},
   Title = {Calcul d'horloges et valeurs},
   BookTitle = {MOVEP'2k MOdelling and VErification of Parallel processes},
   editor = {Cassez, F. and Jard, C. and Rozoy, B. and Ryan, M.},
   Pages = {199--202},
   Publisher = {École Centrale de Nantes},
   Address = {Nantes},
   Month = {June},
   Year = {2000}
}

Référence EndNote [help]

Charger la référence EndNote (.ref)

This page is part the Espresso project web site.
It has been automatically generated using the bib2html program.