JC:Oriat00

Catherine Oriat. Detecting Equivalence of Modular Specifications with Categorical Diagrams. TCS, 247:141-190, 2000.

Télécharger l'article

Charger l'article : (link)

Copyright :

Contact

Catherine Oriat

Référence BibTex

@article{JC:Oriat00,
   Author = {Oriat, Catherine},
   Title = {{Detecting Equivalence of Modular Specifications with Categorical Diagrams}},
   Journal = {TCS},
   Volume = {247},
   Pages = {141--190},
   Publisher = {Elsevier},
   Year = {2000}
}

Référence EndNote [help]

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