Journals in DBLP

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

1. Eugene Asarin, Oded Maler, Sergio Yovine
   Preface. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2002, v:65, n:6, pp:- [Journal]
   
2. Arnaldo V. Moura, Guilherme A. Pinto
   Classes of Timed Automata and the Undecidability of Universality. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2002, v:65, n:6, pp:- [Journal]
   
3. M. Oliver Möller, Harald Rueß, Maria Sorea
   Predicate Abstraction for Dense Real-Time System. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2002, v:65, n:6, pp:- [Journal]
   
4. M. Oliver Möller
   Parking can get you there faster - Model Augmentation to Speed up Real-Time Model-Checking. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2002, v:65, n:6, pp:- [Journal]
   
5. Eric Mercer, Chris J. Myers, Tomohiro Yoneda
   Modular Synthesis of Timed Circuits using Partial Order Reduction. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2002, v:65, n:6, pp:- [Journal]
   
6. Philipp Lucas
   Timed Semantics of Message Sequence Charts Based on Timed Automata. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2002, v:65, n:6, pp:- [Journal]
   
7. Pao-Ann Hsiung, Chuen-Hau Gao
   Formal Synthesis of Real-Time Embedded Software by Time-Memory Scheduling of Colored Time Petri Nets. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2002, v:65, n:6, pp:- [Journal]
   
8. Martijn Hendriks, Kim Guldstrand Larsen
   Exact Acceleration of Real-Time Model Checking. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2002, v:65, n:6, pp:- [Journal]
   
9. Dimitar P. Guelev, Dang Van Hung
   Prefix and Projection onto State in Duration Calculus. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2002, v:65, n:6, pp:- [Journal]
   
10. Nawel Gharbi, Malika Ioualalen
    Performance Analysis of Retrial Queueing Systems Using Generalized Stochastic Petri Nets. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:65, n:6, pp:- [Journal]
    
11. Jérôme Ermont, Frédéric Boniol
    TPAP: an Algebra of Preemptive Processes for Verifying Real-Time Systems with Shared Resources. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:65, n:6, pp:- [Journal]
    
12. Giorgio C. Buttazzo, Avi Efrati, John N. Hooker, Claude Le Pape, Joseph Sifakis
    Abstracts of Invited Talks. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:65, n:6, pp:- [Journal]
    
13. Víctor A. Braberman, Carlos López Pombo, Alfredo Olivero
    On Improving Backwards Verification of Timed Automata. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:65, n:6, pp:- [Journal]
    
14. Marius Bozga, Hou Jianmin, Oded Maler, Sergio Yovine
    Verification of Asynchronous Circuits using Timed Automata. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:65, n:6, pp:- [Journal]
    
15. Marc Boyer
    Translation from timed Petri nets with intervals on transitions to intervals on places (with urgency) [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:65, n:6, pp:- [Journal]
    
16. Hanifa Boucheneb, Gérard Berthelot
    Contraction of the ITCPN State Space. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:65, n:6, pp:- [Journal]
    
17. Paritosh K. Pandya
    Interval Duration Logic: Expressiveness and Decidability. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:65, n:6, pp:- [Journal]