Journals in DBLP

Electr. Notes Theor. Comput. Sci.
2006, volume: 149, number: 1

1. Jirí Srba, Scott A. Smolka
   Preface. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2006, v:149, n:1, pp:1-2 [Journal]
   
2. Antonín Kucera
   Methods for Quantitative Analysis of Probabilistic Pushdown Automata. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2006, v:149, n:1, pp:3-15 [Journal]
   
3. Mojmír Kretínský, Vojtech Rehák, Jan Strejcek
   Refining the Undecidability Border of Weak Bisimilarity. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2006, v:149, n:1, pp:17-36 [Journal]
   
4. Ahmed Bouajjani, Peter Habermehl, Adam Rogalewicz, Tomás Vojnar
   Abstract Regular Tree Model Checking. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2006, v:149, n:1, pp:37-48 [Journal]
   
5. Paul C. Attie, Hana Chockler
   Automatic Verification of Fault-Tolerant Register Emulations. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2006, v:149, n:1, pp:49-60 [Journal]
   
6. Venkatesh Mysore, Bud Mishra
   Algorithmic Algebraic Model Checking III: Approximate Methods. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2006, v:149, n:1, pp:61-77 [Journal]
   
7. Viktor Schuppan, Armin Biere
   Liveness Checking as Safety Checking for Infinite State Spaces. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2006, v:149, n:1, pp:79-96 [Journal]