Journals in DBLP

J. Log. Algebr. Program.
2006, volume: 68, number: 1-2

1. Jos C. M. Baeten, S. P. Luttik
   Guest editors' introduction: Special issue on Process Theory for Hybrid Systems. [Citation Graph (0, 0)][DBLP]
   J. Log. Algebr. Program., 2006, v:68, n:1-2, pp:1-3 [Journal]
   
2. Jan A. Bergstra, C. A. Middelburg
   Continuity controlled hybrid automata. [Citation Graph (0, 0)][DBLP]
   J. Log. Algebr. Program., 2006, v:68, n:1-2, pp:5-53 [Journal]
   
3. P. C. W. den Brand van, Michel A. Reniers, Pieter J. L. Cuijpers
   Linearization of hybrid processes. [Citation Graph (0, 0)][DBLP]
   J. Log. Algebr. Program., 2006, v:68, n:1-2, pp:54-104 [Journal]
   
4. Rajeev Alur, Radu Grosu, Insup Lee, Oleg Sokolsky
   Compositional modeling and refinement for hierarchical hybrid systems. [Citation Graph (0, 0)][DBLP]
   J. Log. Algebr. Program., 2006, v:68, n:1-2, pp:105-128 [Journal]
   
5. D. A. van Beek, Ka L. Man, Michel A. Reniers, J. E. Rooda, Ramon R. H. Schiffelers
   Syntax and consistent equation semantics of hybrid Chi. [Citation Graph (0, 0)][DBLP]
   J. Log. Algebr. Program., 2006, v:68, n:1-2, pp:129-210 [Journal]