Journals in DBLP

Electr. Notes Theor. Comput. Sci.
2002, volume: 65, number: 5

1. Michael Baldamus, Thomas Stauner
   Modifying Esterel Concepts to Model Hybrid Systems. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2002, v:65, n:5, pp:- [Journal]
   
2. Pascal Raymond, Yvan Roux
   Describing Non-Deterministic Reactive Systems by Means of Regular Expressions. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2002, v:65, n:5, pp:- [Journal]
   
3. Paritosh K. Pandya
   The Saga of Synchronous Bus Arbiter: On Model Checking Quantitative Timing Properties of Synchronous Programs. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2002, v:65, n:5, pp:- [Journal]
   
4. Mirabelle Nebut, Sophie Pinchinat
   A Decidable Clock Language for Synchronous Specifications. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2002, v:65, n:5, pp:- [Journal]
   
5. Lionel Morel
   Efficient Compilation of Array Iterators for Lustre. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2002, v:65, n:5, pp:- [Journal]
   
6. Florence Maraninchi, Alain Girault, Éric Rutten
   Preface. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2002, v:65, n:5, pp:- [Journal]
   
7. Gerald Lüttgen, Michael Mendler
   Towards a Model-Theory for Esterel. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2002, v:65, n:5, pp:- [Journal]
   
8. David Garriou
   Symbolic Simulation of Synchronous Programs. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2002, v:65, n:5, pp:- [Journal]
   
9. Vinod Ganapathy, S. Ramesh
   Slicing Synchronous Reactive Programs. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2002, v:65, n:5, pp:- [Journal]
   
10. Stephen Edwards
    ESUIF: An Open Esterel Compiler. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:65, n:5, pp:- [Journal]
    
11. Jean-Louis Colaço, Marc Pouzet
    Type-Based Initialisation Analysis of a Synchronous Data-Flow Language. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:65, n:5, pp:- [Journal]
    
12. Etienne Closse, Michel Poize, Jacques Pulou, Patrick Venier, Daniel Weil
    SAXO-RT: Interpreting Esterel Semantic on a Sequential Execution Structure. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:65, n:5, pp:- [Journal]
    
13. Ramesh Bharadwaj
    SOL: A Verifiable Synchronous Language for Reactive Systems. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:65, n:5, pp:- [Journal]
    
14. Arcot Sowmya, David Tsz-Wang So, Wan Hung Tang
    Design of a Mobile Robot Controller Using Esterel Tools. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:65, n:5, pp:- [Journal]