Formal Verification of Distributed Systems. Pang, J. 2004.
Formal Verification of Distributed Systems [link]Paper  abstract   bibtex   
Fokkink, W.J. [Promotor
@article{pang_formal_2004,
	title = {Formal {Verification} of {Distributed} {Systems}},
	url = {https://core.ac.uk/display/15452085?recSetID=},
	abstract = {Fokkink, W.J. [Promotor},
	language = {en-gb},
	urldate = {2021-01-29},
	author = {Pang, J.},
	year = {2004},
	keywords = {⛔ No DOI found},
}

Downloads: 0