%0 Conference Paper %1 conf/ispw/LiuWYWY14 %A Liu, Xiao %A Wang, Dingxian %A Yuan, Dong %A Wang, Futian %A Yang, Yun %B ICSSP %D 2014 %E Zhang, He %E Huang, LiGuo %E Richardson, Ita %I ACM %K dblp %P 124-133 %T Throughput based temporal verification for monitoring large batch of parallel processes. %U http://dblp.uni-trier.de/db/conf/ispw/icssp2014.html#LiuWYWY14 %@ 978-1-4503-2754-1

@inproceedings{conf/ispw/LiuWYWY14, added-at = {2019-10-19T00:00:00.000+0200}, author = {Liu, Xiao and Wang, Dingxian and Yuan, Dong and Wang, Futian and Yang, Yun}, biburl = {https://www.bibsonomy.org/bibtex/2e368b17eeb27bd9ed118fe596e45088a/dblp}, booktitle = {ICSSP}, crossref = {conf/ispw/2014}, editor = {Zhang, He and Huang, LiGuo and Richardson, Ita}, ee = {https://doi.org/10.1145/2600821.2600834}, interhash = {9d939702cd3af7b404b77edbb81437fc}, intrahash = {e368b17eeb27bd9ed118fe596e45088a}, isbn = {978-1-4503-2754-1}, keywords = {dblp}, pages = {124-133}, publisher = {ACM}, timestamp = {2024-04-09T23:30:50.000+0200}, title = {Throughput based temporal verification for monitoring large batch of parallel processes.}, url = {http://dblp.uni-trier.de/db/conf/ispw/icssp2014.html#LiuWYWY14}, year = 2014 }