Albert Y. C. Lai

	2006
3		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		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		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

Coauthor Index

1	Marsha Chechik	[1] [2] [3]
2	Benet Devereux	[1] [2] [3]
3	Steve M. Easterbrook	[1] [2] [3]
4	Arie Gurfinkel	[2] [3]
5	Victor Petrovykh	[1] [2]
6	Anya Tafliovich	[2]
7	Christopher Thompson-Walsh	[2]