Journals in DBLP

Electr. Notes Theor. Comput. Sci.
2006, volume: 145, number:

1. Ranko Lazic, Rajagopal Nagarajan
   Preface. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2006, v:145, n:, pp:1-2 [Journal]
   
2. Cliff B. Jones
   Reasoning About Partial Functions in the Formal Development of Programs. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2006, v:145, n:, pp:3-25 [Journal]
   
3. Mike Gordon, Juliano Iyoda, Scott Owens, Konrad Slind
   Automatic Formal Synthesis of Hardware from Higher Order Logic. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2006, v:145, n:, pp:27-43 [Journal]
   
4. Hasan Amjad
   Verification of AMBA Using a Combination of Model Checking and Theorem Proving. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2006, v:145, n:, pp:45-61 [Journal]
   
5. Dimitar P. Guelev, Mark Dermot Ryan, Pierre-Yves Schobbens
   Synthesising Features by Games. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2006, v:145, n:, pp:79-93 [Journal]
   
6. Tobe Toben, Bernd Westphal
   Concurrent LSC Verification: On Decomposition Properties of Partially Ordered Symbolic Automata. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2006, v:145, n:, pp:95-111 [Journal]
   
7. Milan Ceska, Pavel Erlebach, Tomás Vojnar
   Pattern-Based Verification of Programs with Extended Linear Linked Data Structures. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2006, v:145, n:, pp:113-130 [Journal]
   
8. Nathaniel Charlton
   Verification of Java Programs with Interacting Analysis Plugins. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2006, v:145, n:, pp:131-150 [Journal]
   
9. Eun-Young Kang, Stephan Merz
   Predicate Diagrams for the Verification of Real-Time Systems. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2006, v:145, n:, pp:151-165 [Journal]
   
10. Hosung Song, Kevin J. Compton, William C. Rounds
    SPHIN: A model checker for reconfigurable hybrid systems based on SPIN. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:145, n:, pp:167-183 [Journal]
    
11. Joy N. Reed, A. W. Roscoe, Jane Sinclair
    Machine-Verifiable Responsiveness. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:145, n:, pp:185-200 [Journal]
    
12. Neil Evans, Helen Treharne
    Linking Semantic Models to Support CSP || B Consistency Checking. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:145, n:, pp:201-217 [Journal]