König, Barbara; Kozioura, Vitali:
Incremental Construction of Coverability Graphs
In: Information Processing Letters, Vol. 103 (2007), No. 5, pp. 203 - 209
2007article/chapter in journal
Computer ScienceFaculty of Engineering » Computer Science and Applied Cognitive Science
Related: 1 publication(s)
Title in English:
Incremental Construction of Coverability Graphs
Author:
König, BarbaraUDE
GND
1050396502
LSF ID
15982
ORCID
0000-0002-4193-2889ORCID iD
Other
connected with university
;Kozioura, Vitali
Year of publication:
2007
DOI
10.1016/j.ipl.2007.04.002
Language of text:
English
Appears in
Information Processing Letters
Publisher:
Elsevier
in:
Vol. 103 (2007), No. 5, pp. 203 - 209
ISSN
1872-6119 Show availability online & print
ISSN
0020-0190 Show availability online & print
ZDB ID
1466301-6
Library shelfmark:
64 Z 37