Formal methods integration for the specification of dependable distributed systems (bibtex)

by Mazzocca, Nicola, Russo, Stefano and Vittorini, Valeria

Reference:

Formal methods integration for the specification of dependable distributed systems (Mazzocca, Nicola, Russo, Stefano and Vittorini, Valeria), In Journal of systems architecture, Elsevier, volume 43, 1997.

Bibtex Entry:

@article{mazzocca1997formal,
	author = {Mazzocca, Nicola and Russo, Stefano and Vittorini,
		  Valeria},
	journal = {Journal of systems architecture},
	number = {10},
	pages = {671--685},
	publisher = {Elsevier},
	title = {Formal methods integration for the specification of
		  dependable distributed systems},
	volume = {43},
	year = {1997},
	doi = {10.1016/S1383-7621(97)00028-3}
}