Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen


    Exportieren, teilen und zitieren



    Titel :

    Automated Deductive Verification of Parallel Systems



    Kongress:

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


    Erschienen in:

    Langley formal methods ; 3356 ; 163-176


    Erscheinungsdatum :

    01.01.1997


    Format / Umfang :

    14 pages


    Anmerkungen:

    Also known as LFM 97


    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Print


    Sprache :

    Englisch




    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