Journals in DBLP

Sci. Comput. Program.
2007, volume: 65, number: 1

1. Jan A. Bergstra
   Letter from the editor. [Citation Graph (0, 0)][DBLP]
   Sci. Comput. Program., 2007, v:65, n:1, pp:- [Journal]
   
2. Joseph Barjis, Juan Carlos Augusto, Ulrich Ultes-Nitsche
   Towards more adequate EIS. [Citation Graph (0, 0)][DBLP]
   Sci. Comput. Program., 2007, v:65, n:1, pp:1-3 [Journal]
   
3. Volker Gruhn, Ralf Laue
   What business process modelers can learn from programmers. [Citation Graph (0, 0)][DBLP]
   Sci. Comput. Program., 2007, v:65, n:1, pp:4-13 [Journal]
   
4. Wing Lok Yeung, Karl R. P. H. Leung, Ji Wang, Wei Dong
   Modelling and model checking suspendible business processes via statechart diagrams and CSP. [Citation Graph (0, 0)][DBLP]
   Sci. Comput. Program., 2007, v:65, n:1, pp:14-29 [Journal]
   
5. Kees M. van Hee, Olivia Oanea, Alexander Serebrenik, Natalia Sidorova, Marc Voorhoeve
   LogLogics: A logic for history-dependent business processes. [Citation Graph (0, 0)][DBLP]
   Sci. Comput. Program., 2007, v:65, n:1, pp:30-40 [Journal]
   
6. Kawtar Benghazi Akhlaki, Manuel I. Capel Tuñón, Juan Antonio Holgado Terriza, Luis E. Mendoza Morales
   A methodological approach to the formal specification of real-time systems by transformation of UML-RT design models. [Citation Graph (0, 0)][DBLP]
   Sci. Comput. Program., 2007, v:65, n:1, pp:41-56 [Journal]
   
7. María-del-Mar Gallardo, Jesús Martínez, Pedro Merino, Pablo Nuñez, Ernesto Pimentel
   PiXL: Applying xml standards to support the integration of analysis tools for protocols. [Citation Graph (0, 0)][DBLP]
   Sci. Comput. Program., 2007, v:65, n:1, pp:57-69 [Journal]