Journals in DBLP

Electr. Notes Theor. Comput. Sci.
2007, volume: 176, number: 2

1. Juliana Küster Filipe Bowles, Iman Poernomo, Ralf Reussner
   Preface. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2007, v:176, n:2, pp:1-4 [Journal]
   
2. Andreas Rausch
   DisCComp - A Formal Model for Distributed Concurrent Components. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2007, v:176, n:2, pp:5-23 [Journal]
   
3. Markus Klein, Julia Padberg, Fernando Orejas
   Towards Multiple Access in Generic Component Architectures. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2007, v:176, n:2, pp:25-45 [Journal]
   
4. Björn Metzler, Heike Wehrheim
   Extending a Component Specification Language with Time. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2007, v:176, n:2, pp:47-67 [Journal]
   
5. Heiko Koziolek, Viktoria Firus
   Parametric Performance Contracts: Non-Markovian Loop Modelling and an Experimental Evaluation. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2007, v:176, n:2, pp:69-87 [Journal]
   
6. Wei Dong, Zhenbang Chen, Ji Wang
   A Contract-based Approach to Specifying and Verifying Safety Critical Systems. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2007, v:176, n:2, pp:89-103 [Journal]
   
7. Lars Gesellensetter, Sabine Glesner
   Only the Best Can Make It: Optimal Component Selection. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2007, v:176, n:2, pp:105-124 [Journal]
   
8. Samik Basu, Partha S. Roop, Roopak Sinha
   Local Module Checking for CTL Specifications. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2007, v:176, n:2, pp:125-141 [Journal]
   
9. Pavel Parizek, Frantisek Plasil
   Specification and Generation of Environment for Model Checking of Software Components. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2007, v:176, n:2, pp:143-154 [Journal]