König, Barbara; Kozioura, Vitali:
Incremental Construction of Coverability Graphs
2007
In: Information Processing Letters, Jg. 103 (2007), Heft 5, S. 203 - 209
Artikel/Aufsatz in Zeitschrift / Fach: Informatik
Titel:
Incremental Construction of Coverability Graphs
Autor(in):
König, Barbara im Online-Personal- und -Vorlesungsverzeichnis LSF anzeigen; Kozioura, Vitali
Erscheinungsjahr:
2007
Erschienen in:
Information Processing Letters, Jg. 103 (2007), Heft 5, S. 203 - 209
ISSN:
ISSN:
Signatur der UB:
Link URL: