%0 Conference Paper %1 conf/iceccs/SuZYWG13 %A Su, Chen %A Zhou, Min %A Yin, Liangze %A Wan, Hai %A Gu, Ming %B ICECCS %D 2013 %I IEEE Computer Society %K dblp %P 4-13 %T Modeling and Verification of Component-Based Systems with Data Passing Using BIP. %U http://dblp.uni-trier.de/db/conf/iceccs/iceccs2013.html#SuZYWG13 %@ 978-0-7695-5007-7

@inproceedings{conf/iceccs/SuZYWG13, added-at = {2023-03-24T00:00:00.000+0100}, author = {Su, Chen and Zhou, Min and Yin, Liangze and Wan, Hai and Gu, Ming}, biburl = {https://www.bibsonomy.org/bibtex/26df5aba1cd8981490343f4ef21d48ef4/dblp}, booktitle = {ICECCS}, crossref = {conf/iceccs/2013}, ee = {https://doi.ieeecomputersociety.org/10.1109/ICECCS.2013.12}, interhash = {5b3c206a4d00fc5c0a9d3e02038b3e1a}, intrahash = {6df5aba1cd8981490343f4ef21d48ef4}, isbn = {978-0-7695-5007-7}, keywords = {dblp}, pages = {4-13}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T08:31:21.000+0200}, title = {Modeling and Verification of Component-Based Systems with Data Passing Using BIP.}, url = {http://dblp.uni-trier.de/db/conf/iceccs/iceccs2013.html#SuZYWG13}, year = 2013 }