Albert Y. C. Lai

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C

Ask others: ACM DL/Guide -

	2006
j1		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
c2		Steve M. Easterbrook, Marsha Chechik, Benet Devereux, Arie Gurfinkel, Albert Y. C. Lai, Victor Petrovykh, Anya Tafliovich, Christopher D. Thompson-Walsh: \chiChek: A Model Checker for Multi-Valued Reasoning. ICSE 2003: 804-805
	2001
c1		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	[j1] [c2] [c1]
2	Benet Devereux	[j1] [c2] [c1]
3	Steve M. Easterbrook	[j1] [c2] [c1]
4	Arie Gurfinkel	[j1] [c2]
5	Victor Petrovykh	[c2] [c1]
6	Anya Tafliovich	[c2]
7	Christopher D. Thompson-Walsh	[c2]

Last update Sun May 19 22:07:19 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page