|
Search the dblp DataBase
Victor Petrovykh:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Marsha Chechik, Benet Devereux, Steve M. Easterbrook, Albert Y. C. Lai, Victor Petrovykh
Efficient Multiple-Valued Model-Checking Using Lattice Representations. [Citation Graph (0, 0)][DBLP] CONCUR, 2001, pp:441-455 [Conf]
- Marsha Chechik, Steve M. Easterbrook, Victor Petrovykh
Model-Checking over Multi-valued Logics. [Citation Graph (0, 0)][DBLP] FME, 2001, pp:72-98 [Conf]
- 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. [Citation Graph (0, 0)][DBLP] ICSE, 2003, pp:804-805 [Conf]
Search in 0.001secs, Finished in 0.001secs
|