%0 Conference Paper %1 conf/iccchina/JiaBB12 %A Jia, Yue %A Bodanese, Eliane L. %A Bigham, John %B ICCC %D 2012 %I IEEE %K dblp %P 155-160 %T Model checking of the reliability of publish/subscribe structure based system. %U http://dblp.uni-trier.de/db/conf/iccchina/iccchina2012.html#JiaBB12 %@ 978-1-4673-2814-2

@inproceedings{conf/iccchina/JiaBB12, added-at = {2019-03-18T00:00:00.000+0100}, author = {Jia, Yue and Bodanese, Eliane L. and Bigham, John}, biburl = {https://www.bibsonomy.org/bibtex/2574e2d69d521141d07379630bb27f894/dblp}, booktitle = {ICCC}, crossref = {conf/iccchina/2012}, ee = {https://doi.org/10.1109/ICCChina.2012.6356870}, interhash = {9d206e0f26b7237ce5c438f08b4d91bb}, intrahash = {574e2d69d521141d07379630bb27f894}, isbn = {978-1-4673-2814-2}, keywords = {dblp}, pages = {155-160}, publisher = {IEEE}, timestamp = {2019-10-17T23:39:11.000+0200}, title = {Model checking of the reliability of publish/subscribe structure based system.}, url = {http://dblp.uni-trier.de/db/conf/iccchina/iccchina2012.html#JiaBB12}, year = 2012 }