Title of article
Model checking LTL with regular valuations for pushdown systems
Author/Authors
Javier Esparza، نويسنده , , Anton?n Ku era، نويسنده , , Stefan Schwoon، نويسنده ,
Issue Information
روزنامه با شماره پیاپی سال 2003
Pages
22
From page
355
To page
376
Keywords
model checking , Linear-time logic , Pushdown automata
Journal title
Information and Computation
Serial Year
2003
Journal title
Information and Computation
Record number
262187
Link To Document