Model Checking with Multi-valued Logics.

Glenn Bruns, Patrice Godefroid

Browse the full ICALP paper archive.