Efficient Multiple-Valued Model-Checking Using Lattice Representations.

Marsha Chechik, Benet Devereux, Steve M. Easterbrook, Albert Y. C. Lai, Victor Petrovykh

Browse the full CONCUR paper archive.