
Journals in DBLP
Inf. Comput. 2001, volume: 164, number: 2
 Rajeev Alur, Thomas A. Henzinger
Introduction. [Citation Graph (0, 0)][DBLP] Inf. Comput., 2001, v:164, n:2, pp:233 [Journal]
 Igor Walukiewicz
Pushdown Processes: Games and ModelChecking. [Citation Graph (0, 0)][DBLP] Inf. Comput., 2001, v:164, n:2, pp:234263 [Journal]
 Marco Pistore, Davide Sangiorgi
A Partition Refinement Algorithm for the Calculus. [Citation Graph (0, 0)][DBLP] Inf. Comput., 2001, v:164, n:2, pp:264321 [Journal]
 Orna Kupferman, Moshe Y. Vardi, Pierre Wolper
Module Checking. [Citation Graph (0, 0)][DBLP] Inf. Comput., 2001, v:164, n:2, pp:322344 [Journal]
 Jerzy Tiuryn
A Sequent Calculus for Subtyping Polymorphic Types. [Citation Graph (0, 0)][DBLP] Inf. Comput., 2001, v:164, n:2, pp:345369 [Journal]
