%0 Journal Article %1 journals/sttt/SethiTM16 %A Sethi, Divjyot %A Talupur, Muralidhar %A Malik, Sharad %D 2016 %J STTT %K dblp %N 4 %P 375-391 %T Model checking unbounded concurrent lists. %U http://dblp.uni-trier.de/db/journals/sttt/sttt18.html#SethiTM16 %V 18

@article{journals/sttt/SethiTM16, added-at = {2016-07-13T00:00:00.000+0200}, author = {Sethi, Divjyot and Talupur, Muralidhar and Malik, Sharad}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/287e219f897fe214e228a51d1189c1279/dblp}, ee = {http://dx.doi.org/10.1007/s10009-015-0369-y}, interhash = {c00e46c567806d4dec83d8b5dcb3fdb7}, intrahash = {87e219f897fe214e228a51d1189c1279}, journal = {STTT}, keywords = {dblp}, number = 4, pages = {375-391}, timestamp = {2016-07-14T09:32:14.000+0200}, title = {Model checking unbounded concurrent lists.}, url = {http://dblp.uni-trier.de/db/journals/sttt/sttt18.html#SethiTM16}, volume = 18, year = 2016 }