%0 Journal Article %1 journals/spe/ZhangLWG11 %A Zhang, Pengcheng %A Li, Wenrui %A Wan, Dingsheng %A Grunske, Lars %D 2011 %J Softw., Pract. Exper. %K dblp %N 7 %P 841-866 %T Monitoring of Probabilistic Timed Property Sequence Charts. %U http://dblp.uni-trier.de/db/journals/spe/spe41.html#ZhangLWG11 %V 41

@article{journals/spe/ZhangLWG11, added-at = {2018-11-30T00:00:00.000+0100}, author = {Zhang, Pengcheng and Li, Wenrui and Wan, Dingsheng and Grunske, Lars}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/248a7d9c6b0f5763518bc2dd8c7126811/dblp}, ee = {https://doi.org/10.1002/spe.1038}, interhash = {a7b093293b16881fec4ac82fa0eda025}, intrahash = {48a7d9c6b0f5763518bc2dd8c7126811}, journal = {Softw., Pract. Exper.}, keywords = {dblp}, number = 7, pages = {841-866}, timestamp = {2019-09-27T11:59:58.000+0200}, title = {Monitoring of Probabilistic Timed Property Sequence Charts.}, url = {http://dblp.uni-trier.de/db/journals/spe/spe41.html#ZhangLWG11}, volume = 41, year = 2011 }