Anatoly Chebotarev

According to our database¹, Anatoly Chebotarev authored at least 2 papers between 2006 and 2013.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2013

Verification of specifications in the language L with respect to temporal properties expressible by GR(1) formulas.

[BibT_eX]

[DOI]

Proceedings of the East-West Design & Test Symposium, 2013

2006

Improved Resolution-Based Method for Satisfiability Checking Formulas of the Language L.

[BibT_eX]

[DOI]

Proceedings of the Perspectives of Systems Informatics, 2006