%0 Conference Paper %1 conf/spin/SethiTM13 %A Sethi, Divjyot %A Talupur, Muralidhar %A Malik, Sharad %B SPIN %D 2013 %E Bartocci, Ezio %E Ramakrishnan, C. R. %I Springer %K dblp %P 320-340 %T Model Checking Unbounded Concurrent Lists. %U http://dblp.uni-trier.de/db/conf/spin/spin2013.html#SethiTM13 %V 7976 %@ 978-3-642-39175-0

@inproceedings{conf/spin/SethiTM13, added-at = {2017-05-17T00:00:00.000+0200}, author = {Sethi, Divjyot and Talupur, Muralidhar and Malik, Sharad}, biburl = {https://www.bibsonomy.org/bibtex/20b64033850d3ddc7aa2d87e6b403fd37/dblp}, booktitle = {SPIN}, crossref = {conf/spin/2013}, editor = {Bartocci, Ezio and Ramakrishnan, C. R.}, ee = {https://doi.org/10.1007/978-3-642-39176-7_20}, interhash = {cd4da739bbdb21e3925d3fd91935a37e}, intrahash = {0b64033850d3ddc7aa2d87e6b403fd37}, isbn = {978-3-642-39175-0}, keywords = {dblp}, pages = {320-340}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T13:54:50.000+0200}, title = {Model Checking Unbounded Concurrent Lists.}, url = {http://dblp.uni-trier.de/db/conf/spin/spin2013.html#SethiTM13}, volume = 7976, year = 2013 }