مرکز منطقه ای اطلاع رساني علوم و فناوري - Model checking LTL with regular valuations for pushdown systems

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 :

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 :