Graphical Specifications for Concurrent Software Systems

Laura K. Dillon, G. Kutty, Louise E. Moser, P. M. Melliar-Smith, Y. S. Ramakrishna. Graphical Specifications for Concurrent Software Systems. In ICSE. pages 214-224, 1992. [doi]

Abstract

Abstract is missing.