José J. Pazos Arias, Jorge García Duque. SCTL-MUS: A Formal Methodology for Software Development of Distributed Systems. A Case Study. Formal Asp. Comput., 13(1):50-91, 2001. [doi]
No references recorded for this publication.
No citations of this publication recorded.