Title of article
Efficient verification of a class of time Petri nets using linear programming
Author/Authors
Xuandong Li، نويسنده , , Johan Lilius، نويسنده ,
Issue Information
دوهفته نامه با شماره پیاپی سال 2001
Pages
6
From page
219
To page
224
Keywords
real-time systems , Duration calculus , Concurrency , Model-checking
Journal title
Information Processing Letters
Serial Year
2001
Journal title
Information Processing Letters
Record number
129335
Link To Document