Journals in DBLP

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

1. Charles Pecheur, Brian Williams
   Preface. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2006, v:149, n:2, pp:1-2 [Journal]
   
2. Stefan Edelkamp, Shahid Jabbar
   Action Planning for Directed Model Checking of Petri Nets. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2006, v:149, n:2, pp:3-18 [Journal]
   
3. Gihwon Kwon
   Relay Reachability Algorithm for Exploring Huge State Space. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2006, v:149, n:2, pp:19-31 [Journal]
   
4. Kairong Qian, Albert Nymeyer
   Language-Emptiness Checking of Alternating Tree Automata Using Symbolic Reachability Analysis. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2006, v:149, n:2, pp:33-49 [Journal]
   
5. Tilman Mehler, Stefan Edelkamp
   Dynamic Incremental Hashing in Program Model Checking. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2006, v:149, n:2, pp:51-69 [Journal]
   
6. David J. Musliner, Michael J. S. Pelican, Robert P. Goldman
   Incremental Verification for On-the-Fly Controller Synthesis. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2006, v:149, n:2, pp:71-90 [Journal]
   
7. Sylvain Kerjean, Froduald Kabanza, Richard St.-Denis, Sylvie Thiébaux
   Analyzing LTL Model Checking Techniques for Plan Synthesis and Controller Synthesis (Work in Progress). [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2006, v:149, n:2, pp:91-104 [Journal]
   
8. Hans P. van Ditmarsch, Wiebe van der Hoek, Ron van der Meyden, Ji Ruan
   Model Checking Russian Cards. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2006, v:149, n:2, pp:105-123 [Journal]
   
9. Paolo Ballarini, Michael Fisher, Michael Wooldridge
   Automated Game Analysis via Probabilistic Model Checking: a case study. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2006, v:149, n:2, pp:125-137 [Journal]
   
10. Dan Lawesson, Ulf Nilsson, Inger Klein
    An Approach to Post Mortem Diagnosability Analysis for Interacting Finite State Systems. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:149, n:2, pp:139-153 [Journal]