External Links

    Journal: Comput. J.

    Volume 38, Issue 10

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