König, Barbara; Kozioura, Vitali:

Incremental Construction of Coverability Graphs

In: Information Processing Letters, Jg. 103 (2007) ; Nr. 5, S. 203-209
ISSN: 1872-6119, 0020-0190
Zeitschriftenaufsatz / Fach: Informatik