Journals in DBLP

Acta Inf.
1993, volume: 30, number: 2

1. Kim Marriott
   Frameworks for Abstract Interpretation. [Citation Graph (0, 0)][DBLP]
   Acta Inf., 1993, v:30, n:2, pp:103-129 [Journal]
   
2. Anna Hac
   Performance and Reliability Improvement by Using Asynchronous Algorithms in Disk Buffer Cache Memory. [Citation Graph (0, 0)][DBLP]
   Acta Inf., 1993, v:30, n:2, pp:131-146 [Journal]
   
3. Marisa Navarro, Fernando Orejas, Jean-Luc Remy
   Contextual Rewriting as a Sound and Complete Proof Method for Conditional LOG-Specifications. [Citation Graph (0, 0)][DBLP]
   Acta Inf., 1993, v:30, n:2, pp:147-180 [Journal]
   
4. Xavier Nicollin, Joseph Sifakis, Sergio Yovine
   From ATP to Timed Graphs and Hybrid Systems. [Citation Graph (0, 0)][DBLP]
   Acta Inf., 1993, v:30, n:2, pp:181-202 [Journal]