%0 Journal Article %1 journals/sttt/SethiTM16 %A Sethi, Divjyot %A Talupur, Muralidhar %A Malik, Sharad %D 2016 %J Int. J. Softw. Tools Technol. Transf. %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 = {2023-09-30T00:00:00.000+0200}, author = {Sethi, Divjyot and Talupur, Muralidhar and Malik, Sharad}, biburl = {https://www.bibsonomy.org/bibtex/269a0cecbbdbe8e02a247dac1a3ca1d68/dblp}, ee = {https://doi.org/10.1007/s10009-015-0369-y}, interhash = {c00e46c567806d4dec83d8b5dcb3fdb7}, intrahash = {69a0cecbbdbe8e02a247dac1a3ca1d68}, journal = {Int. J. Softw. Tools Technol. Transf.}, keywords = {dblp}, number = 4, pages = {375-391}, timestamp = {2024-04-08T20:36:37.000+0200}, title = {Model checking unbounded concurrent lists.}, url = {http://dblp.uni-trier.de/db/journals/sttt/sttt18.html#SethiTM16}, volume = 18, year = 2016 }