%0 Conference Paper %1 conf/ACISicis/DingJL09 %A Ding, Zuohua %A Jiang, Mingyue %A Liu, Jing %B ACIS-ICIS %D 2009 %E Miao, Huaikou %E Hu, Gongzhu %I IEEE Computer Society %K dblp %P 1029-1034 %T Model Checking Service Component Composition by SPIN. %U http://dblp.uni-trier.de/db/conf/ACISicis/ACISicis2009.html#DingJL09 %@ 978-0-7695-3641-5

@inproceedings{conf/ACISicis/DingJL09, added-at = {2023-03-24T00:00:00.000+0100}, author = {Ding, Zuohua and Jiang, Mingyue and Liu, Jing}, biburl = {https://www.bibsonomy.org/bibtex/29ea4f626c85285e58aa9cfad92e72e09/dblp}, booktitle = {ACIS-ICIS}, crossref = {conf/ACISicis/2009}, editor = {Miao, Huaikou and Hu, Gongzhu}, ee = {https://doi.ieeecomputersociety.org/10.1109/ICIS.2009.212}, interhash = {9315b1e19d83aa96b492cc4b9f9d81f9}, intrahash = {9ea4f626c85285e58aa9cfad92e72e09}, isbn = {978-0-7695-3641-5}, keywords = {dblp}, pages = {1029-1034}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T11:38:38.000+0200}, title = {Model Checking Service Component Composition by SPIN.}, url = {http://dblp.uni-trier.de/db/conf/ACISicis/ACISicis2009.html#DingJL09}, year = 2009 }