@InProceedings{LVBDD10, author = {Geeraerts, G. and Kalyon, G. and Le Gall, T. and Maquet, N. and Raskin, J.F.}, title = {Lattice-Valued Binary Decision Diagrams}, booktitle = {Proceedings of ATVA 2010, 8th international symposium on {A}utomated {T}echnology for {V}erification and {A}nalysis}, pages = {158--172}, year = {2010}, editor = {Springer}, volume = {6252}, series = {Lecture Notes in Computer Science}, url = {http://www.ulb.ac.be/di/ssd/ggeeraer/papers/LVBDD.pdf} }