Journals in DBLP

J. Log. Algebr. Program.
2002, volume: 52, number:

1. Holger Hermanns, Joost-Pieter Katoen
   Guest editors' introduction: Model checking in a nutshell. [Citation Graph (0, 0)][DBLP]
   J. Log. Algebr. Program., 2002, v:52, n:, pp:1-5 [Journal]
   
2. Luca Aceto, François Laroussinie
   Is your model checker on time? On the complexity of model checking for timed modal logics. [Citation Graph (0, 0)][DBLP]
   J. Log. Algebr. Program., 2002, v:52, n:, pp:7-51 [Journal]
   
3. Jesper B. Møller, Henrik Hulgaard, Henrik Reif Andersen
   Symbolic model checking of timed guarded commands using difference decision diagrams. [Citation Graph (0, 0)][DBLP]
   J. Log. Algebr. Program., 2002, v:52, n:, pp:53-77 [Journal]
   
4. Xuandong Li, Jianhua Zhao, Pei Yu, Yong Li 0005, Tao Zheng, Guoliang Zheng
   Positive loop-closed automata: a decidable class of hybrid systems. [Citation Graph (0, 0)][DBLP]
   J. Log. Algebr. Program., 2002, v:52, n:, pp:79-108 [Journal]
   
5. Dennis Dams, Yassine Lakhnech, Martin Steffen
   Iterating transducers. [Citation Graph (0, 0)][DBLP]
   J. Log. Algebr. Program., 2002, v:52, n:, pp:109-127 [Journal]
   
6. Karen Yorav, Orna Grumberg
   Syntax-directed model checking of sequential programs. [Citation Graph (0, 0)][DBLP]
   J. Log. Algebr. Program., 2002, v:52, n:, pp:129-162 [Journal]
   
7. Johan Bengtsson, W. O. David Griffioen, Kåre J. Kristoffersen, Kim Guldstrand Larsen, Fredrik Larsson, Paul Pettersson, Wang Yi
   Automated verification of an audio-control protocol using UPPAAL. [Citation Graph (0, 0)][DBLP]
   J. Log. Algebr. Program., 2002, v:52, n:, pp:163-181 [Journal]
   
8. Thomas Hune, Judi Romijn, Mariëlle Stoelinga, Frits W. Vaandrager
   Linear parametric model checking of timed automata. [Citation Graph (0, 0)][DBLP]
   J. Log. Algebr. Program., 2002, v:52, n:, pp:183-220 [Journal]