Model Checking of Component Connectors

2007

Presented at the Annual International Computer Software and Applications Conference , Beijing, China

Additional Metadata
THEME	Software (theme 1)
Publisher	IEEE Computer Society
Conference	Annual International Computer Software and Applications Conference
Organisation	Computer Security
Citation APA APA Style APA-ALL Style AAA 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., Movaghar, A.& Arbab, F. (2007). Model Checking of Component Connectors. 31st Annual International Computer Software and Applications Conference (COMPSAC 2007), 24-27 July 2007, Beijing, China, 673–675.

Publication