Pushdown Processes: Games and Model-Checking

By Walukiewicz I.  

Information and Computation, Vol. 164, Iss. 2, 2001-01 ,pp. : 234-263

Academic Press

Access to resources Recommend Favorite

Mobile Objects as Mobile Processes

By Merro M.   Kleist J.   Nestmann U.  

Information and Computation, Vol. 177, Iss. 2, 2002-09 ,pp. : 195-241

Academic Press

Access to resources Recommend Favorite

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

By Jancar P.   Kucera A.   Moller F.   Sawa Z.  

Information and Computation, Vol. 188, Iss. 1, 2004-01 ,pp. : 1-19

Elsevier

Access to resources Recommend Favorite

Compact labelings for efficient first-order model-checking

By Courcelle Bruno   Gavoille Cyril   Kanté Mamadou  

Journal of Combinatorial Optimization, Vol. 21, Iss. 1, 2011-01 ,pp. : 19-46

Springer Publishing Company

Access to resources Recommend Favorite

Model checking LTL with regular valuations for pushdown systems

By Esparza J.   Kucera A.   Schwoon S.  

Information and Computation, Vol. 186, Iss. 2, 2003-11 ,pp. : 355-376

Elsevier

Access to resources Recommend Favorite