Increasing expressive power of graph rules and conditions and automatic verification with inductive invariants

Dyck, Johannes

by Johannes Dyck

Reference:

Increasing expressive power of graph rules and conditions and automatic verification with inductive invariants (Johannes Dyck), Master's thesis, Hasso-Plattner-Institut für Softwaresystemtechnik, Universität Potsdam, 2012.

Bibtex Entry:

@MastersThesis{Dyck2012,
AUTHOR = {Dyck, Johannes},
TITLE = {{Increasing expressive power of graph rules and conditions and automatic verification with inductive invariants}},
YEAR = {2012},
SCHOOL = {Hasso-Plattner-Institut für Softwaresystemtechnik, Universität Potsdam}
}