Enabling Automated Analysis through the Formalization of Object-Oriented Modeling Diagrams.

Betty H. C. Cheng, Laura A. Campbell, Enoch Y. Wang

Browse the full DSN paper archive.