مرکز منطقه ای اطلاع رساني علوم و فناوري - DP lower bounds for equivalence-checking and model-checking of one-counter automata

Title of article :

DP lower bounds for equivalence-checking and model-checking of one-counter automata

Author/Authors :

Petr Jancar، نويسنده , , Anton?n Kucera، نويسنده , , Faron Moller، نويسنده , , Zdenek Sawa، نويسنده ,

Issue Information :

روزنامه با شماره پیاپی سال 2004

Pages :

From page :

To page :

Keywords :

One-counter machines , Equivalence-checking , Model-checking

Journal title :

Information and Computation

Serial Year :

2004

Journal title :

Information and Computation

Record number :

262201

Link To Document :