Journals in DBLP

Sci. Comput. Program.
2005, volume: 54, number: 2-3

1. A. Steven Klusener, Ralf Lämmel, Chris Verhoef
   Architectural modifications to deployed software . [Citation Graph (0, 0)][DBLP]
   Sci. Comput. Program., 2005, v:54, n:2-3, pp:143-211 [Journal]
   
2. Manfred Broy
   A semantic and methodological essence of message sequence charts. [Citation Graph (0, 0)][DBLP]
   Sci. Comput. Program., 2005, v:54, n:2-3, pp:213-256 [Journal]
   
3. Susumu Nishimura, Keisuke Nakano
   XML stream transformer generation through program composition and dependency analysis. [Citation Graph (0, 0)][DBLP]
   Sci. Comput. Program., 2005, v:54, n:2-3, pp:257-290 [Journal]
   
4. Antonella Santone, Gigliola Vaglini
   Compositionality and locality for improving model checking in the selective mu-calculus. [Citation Graph (0, 0)][DBLP]
   Sci. Comput. Program., 2005, v:54, n:2-3, pp:291-311 [Journal]
   
5. Jan Joris Vereijken
   Erratum to "Book review: Process algebra with timing" [Sci. Comput. Programming 51 (2004)291-292]. [Citation Graph (0, 0)][DBLP]
   Sci. Comput. Program., 2005, v:54, n:2-3, pp:313- [Journal]