Victor Petrovykh

	2003
3		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
2		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
1		Marsha Chechik, Steve M. Easterbrook, Victor Petrovykh: Model-Checking over Multi-valued Logics. FME 2001: 72-98

Coauthor Index

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