
Journals in DBLP
Inf. Comput. 2005, volume: 200, number: 2
 Christel Baier, JoostPieter Katoen, Holger Hermanns, Verena Wolf
Comparative branchingtime semantics for Markov chains. [Citation Graph (0, 0)][DBLP] Inf. Comput., 2005, v:200, n:2, pp:149214 [Journal]
 Paola Quaglia, David Walker
Types and full abstraction for polyadic picalculus. [Citation Graph (0, 0)][DBLP] Inf. Comput., 2005, v:200, n:2, pp:215246 [Journal]
 Christian Glaßer, Alan L. Selman, Samik Sengupta
Reductions between disjoint NPPairs. [Citation Graph (0, 0)][DBLP] Inf. Comput., 2005, v:200, n:2, pp:247267 [Journal]
