Title of article
Incremental construction of coverability graphs
Author/Authors
Barbara K?nig، نويسنده , , Vitali Kozioura، نويسنده ,
Issue Information
دوهفته نامه با شماره پیاپی سال 2007
Pages
7
From page
203
To page
209
Keywords
Coverability , concurrency , formal methods , Petri nets
Journal title
Information Processing Letters
Serial Year
2007
Journal title
Information Processing Letters
Record number
130473
Link To Document