O. Kouchnarenko, P. Schnoebelen. A Formal Framework for the Analysis of Recursive-Parallel Programs. In Parallel Computing Technologies, 4th International Conference, PaCT-97 Yaroslavl, Russia, Pages 45-59, Septembre 1997.
@InProceedings{kushnarenko97a,
Author = {Kouchnarenko, O. and Schnoebelen, P.},
Title = {A Formal Framework for the Analysis of Recursive-Parallel Programs},
BookTitle = {Parallel Computing Technologies, 4th International Conference, PaCT-97 Yaroslavl, Russia},
Number = {1277},
Pages = {45--59},
Publisher = {Springer-Verlag, LNCS},
Month = {September},
Year = {1997}
}
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.