Journals in DBLP

Electr. Notes Theor. Comput. Sci.
2006, volume: 144, number: 3

1. Byron Cook, Scott D. Stoller, Willem Visser
   Preface. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2006, v:144, n:3, pp:1-2 [Journal]
   
2. Wolfgang Grieskamp, Nikolai Tillmann, Wolfram Schulte
   XRT- Exploring Runtime for .NET Architecture and Applications. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2006, v:144, n:3, pp:3-26 [Journal]
   
3. Radu Grosu, Xiaowan Huang, Sumit Jain, Scott A. Smolka
   Open-Source Model Checking. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2006, v:144, n:3, pp:27-44 [Journal]
   
4. Graham Hughes, Sreeranga P. Rajan, Tom Sidle, Keith Swenson
   Error Detection in Concurrent Java Programs. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2006, v:144, n:3, pp:45-58 [Journal]
   
5. Morgan Magnin, Didier Lime, Olivier H. Roux
   An Efficient Method for Computing Exact State Space of Petri Nets With Stopwatches. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2006, v:144, n:3, pp:59-77 [Journal]
   
6. Alessandro Armando, Massimo Benerecetti, Jacopo Mantovani
   Model Checking Linear Programs with Arrays. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2006, v:144, n:3, pp:79-94 [Journal]
   
7. Robert Palmer, Steve Barrus, Yu Yang, Ganesh Gopalakrishnan, Robert M. Kirby
   Gauss: A Framework for Verifying Scientific Computing Software. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2006, v:144, n:3, pp:95-106 [Journal]
   
8. Steven P. Reiss
   Checking Event-Based Specifications in Java Systems. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2006, v:144, n:3, pp:107-132 [Journal]
   
9. Bernd Westphal
   LSC Verification for UML Models with Unbounded Creation and Destruction. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2006, v:144, n:3, pp:133-145 [Journal]