Регистрация | Вход в службу | FAQ      [?] 
Recent | Unread | Search | Authors | Tags | Export

zuleger Chechik [2 articles]

Recent papers posted to zuleger library by the author Chechik. You can also see Chechik everyone.
  • Systematic Construction of Abstractions for Model-Checking
    Verification, Model Checking, and Abstract Interpretation (2006), pp. 381-397.
    by Arie Gurfinkel, Ou Wei, Marsha Chechik
    posted to model_checking by zuleger on 2008-07-25 13:11:04 as **
  • Why Waste a Perfectly Good Abstraction?
    Tools and Algorithms for the Construction and Analysis of Systems (2006), pp. 212-226.
    by Arie Gurfinkel, Marsha Chechik
    posted to model_checking by zuleger on 2008-07-25 13:09:16 as **
    • Вы можете ссылаться на эту страницу по адресу: http://www.citeulike.org/user/zuleger/author/Chechik

    RIS BibTeX
    CiteULike organises scholarly (or academic) papers or literature and provides bibliographic (which means it makes bibliographies) for universities and higher education establishments. It helps undergraduates and postgraduates. People studying for PhDs or in postdoctoral (postdoc) positions. The service is similar in scope to EndNote or RefWorks or any other reference manager like BibTeX, but it is a social bookmarking service for scientists and humanities researchers.