Journals in DBLP

Electr. Notes Theor. Comput. Sci.
2009, volume: 227, number:

1. 
   Preface. [Citation Graph (, )][DBLP]
   
   
2. 
   A Case for Using Signal Transition Graphs for Analysing and Refining Genetic Networks. [Citation Graph (, )][DBLP]
   
   
3. 
   Timed P Automata. [Citation Graph (, )][DBLP]
   
   
4. 
   Translating Stochastic CLS into Maude. [Citation Graph (, )][DBLP]
   
   
5. 
   Control Flow Analysis for Brane Calculi. [Citation Graph (, )][DBLP]
   
   
6. 
   Modelling Biological Compartments in Bio-PEPA. [Citation Graph (, )][DBLP]
   
   
7. 
   Type Disciplines for Analysing Biologically Relevant Properties. [Citation Graph (, )][DBLP]
   
   
8. 
   Testing Non-deterministic Stream X-machine Models and P systems. [Citation Graph (, )][DBLP]
   
   
9. 
   Cell Cycle and Tumor Growth in Membrane Systems with Peripheral Proteins. [Citation Graph (, )][DBLP]
   
   
10. 
    An Abstract Machine for the Stochastic Bioambient calculus. [Citation Graph (, )][DBLP]
    
    
11. 
    External Control in Process Algebra for Systems Biology. [Citation Graph (, )][DBLP]
    
    
12. 
    Reachability Analysis in BioAmbients. [Citation Graph (, )][DBLP]