Journals in DBLP

Int. J. Found. Comput. Sci.
2003, volume: 14, number: 4

1. E. Allen Emerson, Kedar S. Namjoshi
   On Reasoning About Rings. [Citation Graph (0, 0)][DBLP]
   Int. J. Found. Comput. Sci., 2003, v:14, n:4, pp:527-550 [Journal]
   
2. Ahmed Bouajjani, Javier Esparza, Tayssir Touili
   A Generic Approach to the Static Analysis of Concurrent Programs with Procedures. [Citation Graph (0, 0)][DBLP]
   Int. J. Found. Comput. Sci., 2003, v:14, n:4, pp:551-0 [Journal]
   
3. Edmund M. Clarke, Ansgar Fehnker, Zhi Han, Bruce H. Krogh, Joël Ouaknine, Olaf Stursberg, Michael Theobald
   Abstraction and Counterexample-Guided Refinement in Model Checking of Hybrid Systems. [Citation Graph (0, 0)][DBLP]
   Int. J. Found. Comput. Sci., 2003, v:14, n:4, pp:583-604 [Journal]
   
4. Constantinos Bartzis, Tevfik Bultan
   Efficient Symbolic Representations for Arithmetic Constraints in Verification. [Citation Graph (0, 0)][DBLP]
   Int. J. Found. Comput. Sci., 2003, v:14, n:4, pp:605-624 [Journal]
   
5. Deepak D'Souza
   A Logical Characterisation of Event Clock Automata. [Citation Graph (0, 0)][DBLP]
   Int. J. Found. Comput. Sci., 2003, v:14, n:4, pp:625-640 [Journal]
   
6. Li Jiao, To-Yat Cheung
   Characterizing Liveness Monotonicity for Weighted Petri Nets in Terms of Siphon-Based Properties. [Citation Graph (0, 0)][DBLP]
   Int. J. Found. Comput. Sci., 2003, v:14, n:4, pp:641-658 [Journal]
   
7. Axel Dold, Friedrich W. von Henke, Wolfgang Goerigk
   A Completely Verified Realistic Bootstrap Compiler. [Citation Graph (0, 0)][DBLP]
   Int. J. Found. Comput. Sci., 2003, v:14, n:4, pp:659-0 [Journal]
   
8. Kamala Krithivasan, K. Sharda, Sandeep V. Varma
   Distributed varpi -Automata. [Citation Graph (0, 0)][DBLP]
   Int. J. Found. Comput. Sci., 2003, v:14, n:4, pp:681-698 [Journal]
   
9. Juhani Karhumäki, Leonid P. Lisovik
   The Equivalence Problem of Finite Substitutions on ab*c, with Applications. [Citation Graph (0, 0)][DBLP]
   Int. J. Found. Comput. Sci., 2003, v:14, n:4, pp:699-0 [Journal]