
Journals in DBLP
Inf. Comput. 2005, volume: 203, number: 1
 Pedro R. D'Argenio, JoostPieter Katoen
A theory of stochastic systems part I: Stochastic automata. [Citation Graph (0, 0)][DBLP] Inf. Comput., 2005, v:203, n:1, pp:138 [Journal]
 Pedro R. D'Argenio, JoostPieter Katoen
A theory of Stochastic systems. Part II: Process algebra. [Citation Graph (0, 0)][DBLP] Inf. Comput., 2005, v:203, n:1, pp:3974 [Journal]
 Denis Lugiez, Ph. Schnoebelen
Decidable firstorder transition logics for PAprocesses. [Citation Graph (0, 0)][DBLP] Inf. Comput., 2005, v:203, n:1, pp:75113 [Journal]
