Steve M. Easterbrook, Marsha Chechik, Benet Devereux, Arie Gurfinkel, Albert Y. C. Lai, Victor Petrovykh, Anya Tafliovich, Christopher Thompson-Walsh. /chiChek: A Model Checker for Multi-Valued Reasoning. In Proceedings of the 25th International Conference on Software Engineering, May 3-10, 2003, Portland, Oregon, USA. pages 804-805, IEEE Computer Society, 2003. [doi]
Abstract is missing.