@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},
}

{"_id":"A56b2Pyb4pzCecPy2","bibbaseid":"pang-formalverificationofdistributedsystems-2004","author_short":["Pang, J."],"bibdata":{"bibtype":"article","type":"article","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":[{"propositions":[],"lastnames":["Pang"],"firstnames":["J."],"suffixes":[]}],"year":"2004","keywords":"⛔ No DOI found","bibtex":"@article{pang_formal_2004,\n\ttitle = {Formal {Verification} of {Distributed} {Systems}},\n\turl = {https://core.ac.uk/display/15452085?recSetID=},\n\tabstract = {Fokkink, W.J. [Promotor},\n\tlanguage = {en-gb},\n\turldate = {2021-01-29},\n\tauthor = {Pang, J.},\n\tyear = {2004},\n\tkeywords = {⛔ No DOI found},\n}\n\n","author_short":["Pang, J."],"key":"pang_formal_2004","id":"pang_formal_2004","bibbaseid":"pang-formalverificationofdistributedsystems-2004","role":"author","urls":{"Paper":"https://core.ac.uk/display/15452085?recSetID="},"keyword":["⛔ No DOI found"],"metadata":{"authorlinks":{}},"html":""},"bibtype":"article","biburl":"https://bibbase.org/zotero/SilverSylvester","dataSources":["YCBcQPneB9oxahSnp"],"keywords":["⛔ no doi found"],"search_terms":["formal","verification","distributed","systems","pang"],"title":"Formal Verification of Distributed Systems","year":2004}