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 Zeitschrift2007Informatik
Titel:
Incremental Construction of Coverability Graphs
Autor(in):
König, BarbaraLSF; Kozioura, Vitali
Erscheinungsjahr
2007
WWW URL