Access

    Access via TIB

    Check availability in my library


    Export, share and cite



    Title :

    Automated Deductive Verification of Parallel Systems



    Conference:

    Workshop; 4th, Langley formal methods ; 1997 ; Hampton; VA


    Published in:

    Langley formal methods ; 3356 ; 163-176


    Publication date :

    1997-01-01


    Size :

    14 pages


    Remarks:

    Also known as LFM 97


    Type of media :

    Conference paper


    Type of material :

    Print


    Language :

    English




    Deductive Verification of Railway Operations

    Kamburjan, Eduard / Hähnle, Reiner | British Library Conference Proceedings | 2017


    Parallel Evaluation of a Deductive Query with a Breadth-first Search Strategy

    Oh, S. H. / Lee, W. S. | British Library Online Contents | 2000


    Space optimization in deductive databases

    Srivastava, Divesh | TIBKAT | 1991


    Towards a Deductive Object-Oriented System

    Yoon, S.-C. / Ku, C. S. | British Library Online Contents | 1998


    Automated Vehicle Occupancy Verification Systems

    Ungemah, David / Lowery, John / Wikander, John et al. | Transportation Research Record | 2008