Three-valued logic in bounded model checking.

Tobias Schle, Klaus Schneider

Browse the full MEMOCODE paper archive.