|
Search the dblp DataBase
Albert Y. C. Lai:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Marsha Chechik, Benet Devereux, Steve M. Easterbrook, Albert Y. C. Lai, Victor Petrovykh
Efficient Multiple-Valued Model-Checking Using Lattice Representations. [Citation Graph (0, 0)][DBLP] CONCUR, 2001, pp:441-455 [Conf]
- 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. [Citation Graph (0, 0)][DBLP] ICSE, 2003, pp:804-805 [Conf]
- Marsha Chechik, Arie Gurfinkel, Benet Devereux, Albert Y. C. Lai, Steve M. Easterbrook
Data structures for symbolic multi-valued model-checking. [Citation Graph (0, 0)][DBLP] Formal Methods in System Design, 2006, v:29, n:3, pp:295-344 [Journal]
Search in 0.001secs, Finished in 0.001secs
|