Laura A. Campbell, Betty H. C. Cheng. Object-Oriented Modeling and Automated Analysis of a Telemedicine Application. In Proceedings of the 10th International Workshop on Software Specification and Design, Shelter Island, San Diego, California, USA, November 5-7, 2000. pages 39-50, IEEE Computer Society, 2000. [doi]
Abstract is missing.