Accès aux Contact | Référence BibTex | Référence EndNote |

pinchinat98b

S. Pinchinat, O. Kouchnarenko, H. Marchand, M. Le Borgne. Deliverable 3.1.2: Symbolic abstraction of automata: intensional Labeled Transition Systems, symbolic bisimulation. Esprit project 22703: Syrf, Octobre 1998.

Contact

Sophie Pinchinat
Olga Kouchnarenko
Hervé Marchand

Référence BibTex

@Misc{pinchinat98b,
   Author = {Pinchinat, S. and Kouchnarenko, O. and Marchand, H. and Le Borgne, M.},
   Title = {Deliverable 3.1.2: Symbolic abstraction of automata: intensional Labeled Transition Systems, symbolic bisimulation},
   BookTitle = {Esprit project 22703: Syrf},
   Month = {October},
   Year = {1998}
}

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.