%0 Conference Paper %1 conf/spin/GanaiG08 %A Ganai, Malay K. %A Gupta, Aarti %B SPIN %D 2008 %E Havelund, Klaus %E Majumdar, Rupak %E Palsberg, Jens %I Springer %K dblp %P 114-133 %T Efficient Modeling of Concurrent Systems in BMC. %U http://dblp.uni-trier.de/db/conf/spin/spin2008.html#GanaiG08 %V 5156 %@ 978-3-540-85113-4

@inproceedings{conf/spin/GanaiG08, added-at = {2017-05-17T00:00:00.000+0200}, author = {Ganai, Malay K. and Gupta, Aarti}, biburl = {https://www.bibsonomy.org/bibtex/2584c269e81b325c5a9bbc1566e453f2e/dblp}, booktitle = {SPIN}, crossref = {conf/spin/2008}, editor = {Havelund, Klaus and Majumdar, Rupak and Palsberg, Jens}, ee = {https://doi.org/10.1007/978-3-540-85114-1_10}, interhash = {9c7634da6fe8a5ce7802c13ce6d04673}, intrahash = {584c269e81b325c5a9bbc1566e453f2e}, isbn = {978-3-540-85113-4}, keywords = {dblp}, pages = {114-133}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T12:05:39.000+0200}, title = {Efficient Modeling of Concurrent Systems in BMC.}, url = {http://dblp.uni-trier.de/db/conf/spin/spin2008.html#GanaiG08}, volume = 5156, year = 2008 }