Journals in DBLP

Electr. Notes Theor. Comput. Sci.
2004, volume: 88, number:

1. 
   Foreword. [Citation Graph (, )][DBLP]
   
   
2. 
   Computing SyncCharts Reactions. [Citation Graph (, )][DBLP]
   
   
3. 
   A-maze-ing Esterel. [Citation Graph (, )][DBLP]
   
   
4. 
   An Overview of the Signal Clock Calculus. [Citation Graph (, )][DBLP]
   
   
5. 
   Safety Property Verification of Cyclic Synchronous Circuits. [Citation Graph (, )][DBLP]
   
   
6. 
   Synchronous Estelle: Just Another Synchronous Language? [Citation Graph (, )][DBLP]
   
   
7. 
   Modeling of Avionics Applications and Performance Evaluation Techniques Using the Synchronous Language SIGNAL. [Citation Graph (, )][DBLP]
   
   
8. 
   Testing Against Some Eventuality Properties of Synchronous Software: A Case Study. [Citation Graph (, )][DBLP]