| 2006 |
|---|
| 3 | EE | Marsha Chechik,
Arie Gurfinkel,
Benet Devereux,
Albert Y. C. Lai,
Steve M. Easterbrook:
Data structures for symbolic multi-valued model-checking.
Formal Methods in System Design 29(3): 295-344 (2006) |
| 2003 |
|---|
| 2 | 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 |
|---|
| 1 | 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 |
