Multi-Valued Model Checking via Groebner Basis Approach.

Jinzhao Wu, Lin Zhao

Browse the full TASE paper archive.