Input-Based Three-Valued Abstraction Refinement.

Jan Onderka, Stefan Ratschan

Browse the full VMCAI paper archive.