Travelled to:1 × USA
Collaborated with:S.M.Easterbrook M.Chechik B.Devereux A.Gurfinkel V.Petrovykh A.Tafliovich C.D.Thompson-Walsh
Talks about:checker (1) reason (1) multi (1) model (1) valu (1) chek (1)
Person: Albert Y. C. Lai
DBLP: Lai:Albert_Y=_C=
Contributed to:
2003Wrote 1 papers:
- ICSE-2003-EasterbrookCDGLPTT #model checking #multi #named #reasoning
- χChek: A Model Checker for Multi-Valued Reasoning (SME, MC, BD, AG, AYCL, VP, AT, CDTW), pp. 804–805.