Model checking of component connectors

Additional Metadata
Promotor	F. Arbab (Farhad) , A. Movaghar (Ali)
Degree Grantor	Universiteit Leiden
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	Izadi, M. (2011, December 6). Model checking of component connectors.

Publication