dblp.uni-trier.dewww.uni-trier.de

Victor Petrovykh

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2003
3EESteve 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
2EEMarsha Chechik, Benet Devereux, Steve M. Easterbrook, Albert Y. C. Lai, Victor Petrovykh: Efficient Multiple-Valued Model-Checking Using Lattice Representations. CONCUR 2001: 441-455
1EEMarsha Chechik, Steve M. Easterbrook, Victor Petrovykh: Model-Checking over Multi-valued Logics. FME 2001: 72-98

Coauthor Index

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

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)