Journals in DBLP

Comput. J.
1995, volume: 38, number: 10

1. Roland N. Ibbett, Pat E. Heywood, Fred W. Howell
   HASE: A Flexible Toolset for Computer Architects. [Citation Graph (0, 0)][DBLP]
   Comput. J., 1995, v:38, n:10, pp:755-764 [Journal]
   
2. Stephen P. Wilson, John A. McDermid
   Integrated Analysis of Complex Safety Critical Systems. [Citation Graph (0, 0)][DBLP]
   Comput. J., 1995, v:38, n:10, pp:765-776 [Journal]
   
3. Antonio Ruiz-Delgado, David H. Pitt, Colin Smythe
   A Review of Object-oriented Approaches in Formal Methods. [Citation Graph (2, 0)][DBLP]
   Comput. J., 1995, v:38, n:10, pp:777-784 [Journal]
   
4. Ville Leppänen
   Performance of Work-Optimal PRAM Simulation Algorithms on Coated Meshes. [Citation Graph (0, 0)][DBLP]
   Comput. J., 1995, v:38, n:10, pp:785-800 [Journal]
   
5. Gavin Lowe, Hussein Zedan
   Refinement of Complex Systems: A Case Study. [Citation Graph (0, 0)][DBLP]
   Comput. J., 1995, v:38, n:10, pp:785-800 [Journal]
   
6. Ken Deighton
   Average Time to Travel on Two-headed, Non-linear Discs. [Citation Graph (0, 0)][DBLP]
   Comput. J., 1995, v:38, n:10, pp:811-817 [Journal]
   
7. Jingsen Chen
   An Efficient Construction Algorithm for a Class of Implicit Double-Ended Priority Queues. [Citation Graph (0, 0)][DBLP]
   Comput. J., 1995, v:38, n:10, pp:818-821 [Journal]
   
8. Frank P. Verdon, Mike Wells
   Computing in British Universities: The Computer Board 1966-1991. [Citation Graph (0, 0)][DBLP]
   Comput. J., 1995, v:38, n:10, pp:822-830 [Journal]