|
Journals in DBLP
Inf. Comput. 2005, volume: 202, number: 2
- Volker Diekert, Claudio Gutiérrez, Christian Hagenah
The existential theory of equations with rational constraints in free groups is PSPACE-complete. [Citation Graph (0, 0)][DBLP] Inf. Comput., 2005, v:202, n:2, pp:105-140 [Journal]
- Parosh Aziz Abdulla, Nathalie Bertrand, Alexander Moshe Rabinovich, Ph. Schnoebelen
Verification of probabilistic systems with faulty communication. [Citation Graph (0, 0)][DBLP] Inf. Comput., 2005, v:202, n:2, pp:141-165 [Journal]
- Gérard Cécé, Alain Finkel
Verification of programs with half-duplex communication. [Citation Graph (0, 0)][DBLP] Inf. Comput., 2005, v:202, n:2, pp:166-190 [Journal]
- Sara Gradara, Antonella Santone, Maria Luisa Villani
Using heuristic search for finding deadlocks in concurrent systems. [Citation Graph (0, 0)][DBLP] Inf. Comput., 2005, v:202, n:2, pp:191-226 [Journal]
|