%0 Conference Paper %1 conf/sew/ZhuQHB06 %A Zhu, Huibiao %A Qin, Shengchao %A He, Jifeng %A Bowen, Jonathan P. %B SEW %D 2006 %I IEEE Computer Society %K concurrency formal integration methods myown probability shared-variable time %P 179-189 %T Integrating Probability with Time and Shared-Variable Concurrency. %U http://dblp.uni-trier.de/db/conf/sew/sew2006.html#ZhuQHB06

@inproceedings{conf/sew/ZhuQHB06, added-at = {2011-08-01T22:02:27.000+0200}, author = {Zhu, Huibiao and Qin, Shengchao and He, Jifeng and Bowen, Jonathan P.}, biburl = {https://www.bibsonomy.org/bibtex/27db09f7c579bcff8c52771be3b380e0c/jpbowen}, booktitle = {SEW}, crossref = {conf/sew/2006}, description = {dblp}, ee = {http://doi.ieeecomputersociety.org/10.1109/SEW.2006.22}, interhash = {99240a293498562b2ebbb859c7fc2ced}, intrahash = {7db09f7c579bcff8c52771be3b380e0c}, keywords = {concurrency formal integration methods myown probability shared-variable time}, pages = {179-189}, publisher = {IEEE Computer Society}, timestamp = {2011-08-01T22:02:27.000+0200}, title = {Integrating Probability with Time and Shared-Variable Concurrency.}, url = {http://dblp.uni-trier.de/db/conf/sew/sew2006.html#ZhuQHB06}, year = 2006 }