%0 Conference Paper %1 conf/rv/ZhangSZLL10 %A Zhang, Pengcheng %A Su, Zhiyong %A Zhu, Yuelong %A Li, Wenrui %A Li, Bixin %B RV %D 2010 %E Barringer, Howard %E Falcone, Yliès %E Finkbeiner, Bernd %E Havelund, Klaus %E Lee, Insup %E Pace, Gordon J. %E Rosu, Grigore %E Sokolsky, Oleg %E Tillmann, Nikolai %I Springer %K dblp %P 485-489 %T WS-PSC Monitor: A Tool Chain for Monitoring Temporal and Timing Properties in Composite Service Based on Property Sequence Chart. %U http://dblp.uni-trier.de/db/conf/rv/rv2010.html#ZhangSZLL10 %V 6418 %@ 978-3-642-16611-2

@inproceedings{conf/rv/ZhangSZLL10, added-at = {2017-05-17T00:00:00.000+0200}, author = {Zhang, Pengcheng and Su, Zhiyong and Zhu, Yuelong and Li, Wenrui and Li, Bixin}, biburl = {https://www.bibsonomy.org/bibtex/2ca8afc8835ef35b423bcf3f1b93924bc/dblp}, booktitle = {RV}, crossref = {conf/rv/2010}, editor = {Barringer, Howard and Falcone, Yliès and Finkbeiner, Bernd and Havelund, Klaus and Lee, Insup and Pace, Gordon J. and Rosu, Grigore and Sokolsky, Oleg and Tillmann, Nikolai}, ee = {https://doi.org/10.1007/978-3-642-16612-9_39}, interhash = {6629e06c956990b42c38f3a4d0583001}, intrahash = {ca8afc8835ef35b423bcf3f1b93924bc}, isbn = {978-3-642-16611-2}, keywords = {dblp}, pages = {485-489}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T16:55:55.000+0200}, title = {WS-PSC Monitor: A Tool Chain for Monitoring Temporal and Timing Properties in Composite Service Based on Property Sequence Chart.}, url = {http://dblp.uni-trier.de/db/conf/rv/rv2010.html#ZhangSZLL10}, volume = 6418, year = 2010 }