JC:Oriat00

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

Download

Download paper: (link)

Copyright notice:

Contact

Catherine Oriat

BibTex Reference

@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}
}

EndNote Reference [help]

Get EndNote Reference (.ref)