Mohammad Izadi, Ali Movaghar, Farhad Arbab. Model Checking of Component Connectors. In 31st Annual International Computer Software and Applications Conference (COMPSAC 2007), 24-27 July 2007, Beijing, China. pages 673-675, IEEE Computer Society, 2007. [doi]
@inproceedings{IzadiMA07, title = {Model Checking of Component Connectors}, author = {Mohammad Izadi and Ali Movaghar and Farhad Arbab}, year = {2007}, doi = {10.1109/COMPSAC.2007.153}, url = {http://doi.ieeecomputersociety.org/10.1109/COMPSAC.2007.153}, tags = {model checking, meta-model, Meta-Environment, meta-objects}, researchr = {https://researchr.org/publication/IzadiMA07}, cites = {0}, citedby = {0}, pages = {673-675}, booktitle = {31st Annual International Computer Software and Applications Conference (COMPSAC 2007), 24-27 July 2007, Beijing, China}, publisher = {IEEE Computer Society}, isbn = {978-0-7695-2870-0}, }