@inproceedings{TeigeFraenzle:TACAS11,Author = {Teige, Tino and Fränzle, Martin},Title = {Generalized Craig Interpolation for Stochastic Boolean Satisfiability Problems},Year = {2011},Volume = {6605},Pages = {158-172},Month = {01},Editor = {Parosh Aziz Abdulla and K. Rustan M. Leino},Publisher = {Springer},Series = {Lecture Notes in Computer Science},Booktitle = {Proceedings of the Seventeenth International Conference on Tools and Algorithms for the Construction and Analysis of Systems},type = {inproceedings}}@COMMENT{Bibtex file generated on }