External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Verification of Evolving Graph Structures (Dagstuhl Seminar 15451)

Parosh Aziz Abdulla, Fabio Gadducci, Barbara König 0001, Viktor Vafeiadis. Verification of Evolving Graph Structures (Dagstuhl Seminar 15451). Dagstuhl Reports, 5(11):1-28, 2015. [doi]

Authors

Parosh Aziz Abdulla

This author has not been identified. Look up 'Parosh Aziz Abdulla' in Google

Fabio Gadducci

This author has not been identified. Look up 'Fabio Gadducci' in Google

Barbara König 0001

This author has not been identified. Look up 'Barbara König 0001' in Google

Viktor Vafeiadis

This author has not been identified. It may be one of the following persons: Look up 'Viktor Vafeiadis' in Google
runs on