Title of article
Decidability of model checking for infinite-state concurrent systems
Author/Authors
Javier Esparza، نويسنده ,
Issue Information
روزنامه با شماره پیاپی سال 1997
Pages
23
From page
85
To page
107
Journal title
acta Informatica
Serial Year
1997
Journal title
acta Informatica
Record number
287580
Link To Document