ITU

Springer VS

Publisher

View graph of relations

Research outputs (37)

  1. Published

    Second International Handbook of Internet Research

    Research output: Book / Anthology / Report / Ph.D. thesisBookResearchpeer-review

  2. Published

    Symbolic Game Semantics for Model Checking Program Families

    Research output: Conference Article in Proceeding or Book/Report chapterArticle in proceedingsResearchpeer-review

  3. Published

    Family-Based Model Checking Without a Family-Based Model Checker

    Research output: Conference Article in Proceeding or Book/Report chapterArticle in proceedingsResearchpeer-review

View all »

ID: 35925394