Kuo-Chung Tai, Pramod V. Koppol. An Incremental Approach to Reachability Analysis of Distributed Programs. In Jack C. Wileden, editor, Proceedings of the 7th International Workshop on Software Specification and Design, Redondo Beach, CA, December 1993. pages 141-151, IEEE Computer Society, 1993.
No references recorded for this publication.
No citations of this publication recorded.