Detecting Isomorphisms of Modular Specifications with Diagrams (1995)

Cached

Download Links

by Catherine Oriat
Venue:In Proceedings of AMAST'95, number 936 in LNCS
Citations:1 - 1 self

Document Versions

Detecting Isomorphisms of Modular Specifications with Diagrams –Catherine Oriat — 1995 — In Proceedings of AMAST'95, number 936 in LNCS