Journals in DBLP

Electr. Notes Theor. Comput. Sci.
2005, volume: 133, number:

1. Juan Bicarregui, Andrew Butterfield, Alvaro Arenas
   Preface. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2005, v:133, n:, pp:1-2 [Journal]
   
2. Michele Banci, Alessandro Fantechi
   Geographical Versus Functional Modelling by Statecharts of Interlocking Systems. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2005, v:133, n:, pp:3-19 [Journal]
   
3. Jiri Barnat, Lubos Brim, Jakub Chaloupka
   From Distributed Memory Cycle Detection to Parallel LTL Model Checking. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2005, v:133, n:, pp:21-39 [Journal]
   
4. Mustapha Bourahla, Mohamed Benmohamed
   Analysis of Real-Time Systems with CTL Model Checkers. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2005, v:133, n:, pp:41-60 [Journal]
   
5. Yunja Choi
   Model Checking Flight Guidance Systems: from Synchrony to Asynchrony. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2005, v:133, n:, pp:61-79 [Journal]
   
6. Alain Girault, Éric Rutten
   Modeling Fault-tolerant Distributed Systems for Discrete Controller Synthesis. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2005, v:133, n:, pp:81-100 [Journal]
   
7. Anders Henriksson, Uwe Aßmann, James Hunt
   Improving Software Quality in Safety-Critical Applications by Model-Driven Verification. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2005, v:133, n:, pp:101-117 [Journal]
   
8. Martin Fränzle, Christian Herde
   Efficient Proof Engines for Bounded Model Checking of Hybrid Systems. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2005, v:133, n:, pp:119-137 [Journal]
   
9. Akram Idani, Yves Ledru
   Object Oriented Concepts Identification from Formal B Specifications. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2005, v:133, n:, pp:159-174 [Journal]
   
10. Misa Keinänen
    Obtaining Memory-Efficient Solutions to Boolean Equation Systems. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:133, n:, pp:175-191 [Journal]
    
11. Jacques Klein, Benoît Caillaud, Loïc Hélouët
    Merging Scenarios. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:133, n:, pp:193-215 [Journal]
    
12. María-del-Mar Gallardo, Jesús Martínez, Pedro Merino, Guillermo Rodriguez
    Integration of Reliability and Performance Analyses for Active Network Services. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:133, n:, pp:217-236 [Journal]
    
13. Christophe Ponsard, Philippe Massonet, André Rifaut, Jean-François Molderez, Axel van Lamsweerde, Hung Tran Van
    Early Verification and Validation of Mission Critical Systems. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:133, n:, pp:237-254 [Journal]
    
14. David Sinclair, James F. Power
    Specifying and Verifying Communications Protocols using Mixed Intuitionistic Linear Logic. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:133, n:, pp:255-273 [Journal]
    
15. Maurice H. ter Beek, Mieke Massink, Diego Latella, Stefania Gnesi, Alessandro Forghieri, Maurizio Sebastianis
    Model Checking Publish/Subscribe Notification for thinkteam^®. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:133, n:, pp:275-294 [Journal]
    
16. Jaco van de Pol, Miguel Valero Espada
    An Abstract Interpretation Toolkit for muCRL. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:133, n:, pp:295-313 [Journal]
    
17. Dieter Zöbel, David Polock, Andreas van Arkel
    Testing for the Conformance of Real-time Protocols Implemented by Operating Systems. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:133, n:, pp:315-332 [Journal]