Nicola Mazzocca, Stefano Russo, Valeria Vittorini. Formal methods integration for the specification of dependable distributed systems. Journal of Systems Architecture, 43(10):671-685, 1997. [doi]
No references recorded for this publication.
No citations of this publication recorded.