Journals in DBLP

Inf. Comput.
1999, volume: 150, number: 2

1. Angelo Gargantini, Dino Mandrioli, Angelo Morzenti
   Dealing with Zero-Time Transitions in Axiom Systems. [Citation Graph (0, 0)][DBLP]
   Inf. Comput., 1999, v:150, n:2, pp:119-131 [Journal]
   
2. Rob Gerth, Ruurd Kuiper, Doron Peled, Wojciech Penczek
   A Partial Order Approach to Branching Time Logic Model Checking. [Citation Graph (0, 0)][DBLP]
   Inf. Comput., 1999, v:150, n:2, pp:132-152 [Journal]
   
3. Mariangiola Dezani-Ciancaglini, Jerzy Tiuryn, Pawel Urzyczyn
   Discrimination by Parallel Observers: The Algorithm. [Citation Graph (0, 0)][DBLP]
   Inf. Comput., 1999, v:150, n:2, pp:153-186 [Journal]
   
4. Andreas Jakoby, Rüdiger Reischuk, Christian Schindelhauer
   Malign Distributions for Average Case Circuit Complexity. [Citation Graph (0, 0)][DBLP]
   Inf. Comput., 1999, v:150, n:2, pp:187-208 [Journal]
   
5. Yonit Kesten, Amir Pnueli, Joseph Sifakis, Sergio Yovine
   Decidable Integration Graphs. [Citation Graph (0, 0)][DBLP]
   Inf. Comput., 1999, v:150, n:2, pp:209-243 [Journal]
   
6. Allan Borodin, Ran El-Yaniv
   On Randomization in On-Line Computation. [Citation Graph (0, 0)][DBLP]
   Inf. Comput., 1999, v:150, n:2, pp:244-267 [Journal]
   
7. Stéphane Grumbach, Tova Milo
   An Algebra for Pomsets. [Citation Graph (0, 0)][DBLP]
   Inf. Comput., 1999, v:150, n:2, pp:268-306 [Journal]