Detecting Isomorphisms of Modular Specifications with Diagrams

Catherine Oriat. Detecting Isomorphisms of Modular Specifications with Diagrams. In Vangalur S. Alagar, Maurice Nivat, editors, Algebraic Methodology and Software Technology, 4th International Conference, AMAST 95, Montreal, Canada, July 3-7, 1995, Proceedings. Volume 936 of Lecture Notes in Computer Science, pages 184-198, Springer, 1995.

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.