| 2003 |
|---|
| 3 | EE | 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.
ICSE 2003: 804-805 |
| 2001 |
|---|
| 2 | EE | Marsha Chechik,
Benet Devereux,
Steve M. Easterbrook,
Albert Y. C. Lai,
Victor Petrovykh:
Efficient Multiple-Valued Model-Checking Using Lattice Representations.
CONCUR 2001: 441-455 |
| 1 | EE | Marsha Chechik,
Steve M. Easterbrook,
Victor Petrovykh:
Model-Checking over Multi-valued Logics.
FME 2001: 72-98 |
