BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Germany
1 × USA
Collaborated with:
S.M.Easterbrook M.Chechik B.Devereux A.Gurfinkel A.Y.C.Lai A.Tafliovich C.D.Thompson-Walsh
Talks about:
multi (2) model (2) valu (2) checker (1) reason (1) logic (1) check (1) chek (1)

Person: Victor Petrovykh

DBLP DBLP: Petrovykh:Victor

Contributed to:

ICSE 20032003
FME 20012001

Wrote 2 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.
FME-2001-ChechikEP #logic #model checking #multi
Model-Checking over Multi-valued Logics (MC, SME, VP), pp. 72–98.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.