%0 Conference Paper %1 conf/icst/Gyori0PM17 %A Gyori, Alex %A Garg, Pranav %A Pek, Edgar %A Madhusudan, P. %B ICST %D 2017 %I IEEE Computer Society %K dblp %P 310-320 %T Efficient Incrementalized Runtime Checking of Linear Measures on Lists. %U http://dblp.uni-trier.de/db/conf/icst/icst2017.html#Gyori0PM17 %@ 978-1-5090-6031-3

@inproceedings{conf/icst/Gyori0PM17, added-at = {2017-06-14T00:00:00.000+0200}, author = {Gyori, Alex and Garg, Pranav and Pek, Edgar and Madhusudan, P.}, biburl = {https://www.bibsonomy.org/bibtex/253f2e209184fb0df6d1c1457618306c8/dblp}, booktitle = {ICST}, crossref = {conf/icst/2017}, ee = {https://doi.org/10.1109/ICST.2017.35}, interhash = {ceb0547470f71f11784a273cbeca73ed}, intrahash = {53f2e209184fb0df6d1c1457618306c8}, isbn = {978-1-5090-6031-3}, keywords = {dblp}, pages = {310-320}, publisher = {IEEE Computer Society}, timestamp = {2019-10-17T18:25:39.000+0200}, title = {Efficient Incrementalized Runtime Checking of Linear Measures on Lists.}, url = {http://dblp.uni-trier.de/db/conf/icst/icst2017.html#Gyori0PM17}, year = 2017 }