@inproceedings{Seidl09Smooth, author = {Helmut Seidl and Vesal Vojdani and Varmo Vene}, title = {A {S}mooth {C}ombination of {L}inear and {H}erbrand {E}qualities for {P}olynomial {T}ime {M}ust-{A}lias {A}nalysis}, booktitle = {Formal Methods}, editor = {Ana Cavalcanti and Dennis Dams}, month = {November}, year = 2009, series = {Lecture Notes in Computer Science}, volume = {5850}, publisher = {Springer}, address = {Eindhoven, The Netherlands}, }