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.
@InProceedings{nebut00,
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}
}
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.