logo
CanyamAI summaries for academic research
language
MobileMobile
  • Phone FeatureWeChat Mini Program
EnglishEnglish
noticeNotice
BlogBlog
delete
arrow
Back
B

Benet Devereux

Affiliation pending

10H-index
22Paper Count
555Citation Count
Published Papers 2
Publication Date
logo
Temporal logic query checking: A tool for model exploration
errIEEE TRANSACTIONS ON SOFTWARE ENGINEERING
IF5.6
err2003-10-01
err37
errOAAI
errGurfinkel, A; Chechik, M; Devereux, B
errShare
errSave
Multi-valued symbolic model-checking
errACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY
IF6.2
err2003-10-01
err146
PREAI
errChechik, M; Devereux, B; Easterbrook, S; Gurfinkel, A
errShare
errSave

Research Directions

The data has not been retrieved yet.
Co-authors
Cooperation Journals
S
Steve Easterbrook
H-index: 49 · Papers: 220
M
Marsha Chećhik
H-index: 42 · Papers: 345
A
Arie Gurfinkel
H-index: 34 · Papers: 195
All loaded