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
WWW URL