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]
@article{MazzoccaRV97-0, title = {Formal methods integration for the specification of dependable distributed systems}, author = {Nicola Mazzocca and Stefano Russo and Valeria Vittorini}, year = {1997}, doi = {10.1016/S1383-7621(97)00028-3}, url = {http://dx.doi.org/10.1016/S1383-7621(97)00028-3}, researchr = {https://researchr.org/publication/MazzoccaRV97-0}, cites = {0}, citedby = {0}, journal = {Journal of Systems Architecture}, volume = {43}, number = {10}, pages = {671-685}, }