Bitte melden Sie sich an um selbst Rezensionen oder Kommentare zu erstellen.
Zitieren Sie diese Publikation
Mehr Zitationsstile
- bitte auswählen -
%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
}