2003
\chiChek: A Model Checker for Multi-Valued Reasoning.
Proceedings of the 25th International Conference on Software Engineering, 2003

2001
Model-Checking over Multi-valued Logics.
Proceedings of the FME 2001: Formal Methods for Increasing Software Productivity, 2001

Efficient Multiple-Valued Model-Checking Using Lattice Representations.
Proceedings of the CONCUR 2001, 2001