O. Kouchnarenko, S. Pinchinat. Intensional Approaches for Symbolic Methods. In the 23rd International Symposium on Mathematical Foundations of Computer Science, MFCS'98, International Workshop on Concurrency, Brno, Czech Republic, Août 1998.
Olga Kouchnarenko
Sophie Pinchinat
@InProceedings{kouchnarenko98b,
Author = {Kouchnarenko, O. and Pinchinat, S.},
Title = {Intensional Approaches for Symbolic Methods},
BookTitle = {the 23rd International Symposium on Mathematical Foundations of Computer Science, MFCS'98, International Workshop on Concurrency},
Address = {Brno, Czech Republic},
Month = {August},
Year = {1998}
}
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.