Marsha Chechik, Benet Devereux, Steve M. Easterbrook, Albert Y. C. Lai, Victor Petrovykh. Efficient Multiple-Valued Model-Checking Using Lattice Representations. In Kim Guldstrand Larsen, Mogens Nielsen, editors, CONCUR 2001 - Concurrency Theory, 12th International Conference, Aalborg, Denmark, August 20-25, 2001, Proceedings. Volume 2154 of Lecture Notes in Computer Science, pages 441-455, Springer, 2001. [doi]
Abstract is missing.