Formal verification of distributed systems

Additional Metadata
THEME	Software (theme 1)
Degree Grantor	Vrije universiteit Amsterdam
Promotor	W.J. Fokkink (Wan)
ISBN	978-90-6464-865-6
Persistent URL	hdl.handle.net/1871/10281
Citation APA Style AAA Style APA Style Cell Style Chicago Style Harvard Style IEEE Style MLA Style Nature Style Vancouver Style American-Institute-of-Physics Style Council-of-Science-Editors Style BibTex Format Endnote Format RIS Format CSL Format DOIs only Format	Pang, J. (2004, August). Formal verification of distributed systems. Retrieved from http://hdl.handle.net/1871/10281

Publication