Fachinformationsdienst BAUdigital

A platform for research: civil engineering, architecture and urbanism

    Temporal Patterns for Model Checking

    New search for: Verlinde, H.

    Access

    Access via TIB
    Check availability in my library

    Access

    Access via TIB
    Check availability in my library

    Page navigation

    Document information
    Similar titles

    Export, share and cite

    Temporal Patterns for Model Checking

    New search for: Verlinde, H.

    Access

    Access via TIB
    Check availability in my library

    Temporal Patterns for Model Checking

    New search for: Verlinde, H.

    Access

    Access via TIB
    Check availability in my library

    Access

    Access via TIB
    Check availability in my library

    Page navigation

    Document information
    Similar titles

    Export, share and cite

    Document information
    Title:

    Temporal Patterns for Model Checking

    Contributors:

    Verlinde, H. (author) / Rijksuniversiteit te Gent

    Conference:

    4th, Faculteit Toegepaste Wetenschappen PhD symposium ; 2003 ; Gent, Belgium

    Published in:

    Faculteit Toegepaste Wetenschappen PhD symposium ; 28

    UGENT FTW DOCTORAATSSYMPOSIUM

    Publication date:

    2003-01-01

    Size:

    28 pages

    Remarks:

    CD-ROM in pocket attached to inside back cover of book of abstracts.; PAPERS HELD ON CD-ROM

    Type of media:

    Conference paper

    Type of material:

    Print

    Language:

    English

    Keywords:

    Toegepaste wetenschappen , FTW , Applied sciences

    © Metadata Copyright the British Library Board and other contributors. All rights reserved.

    Similar titles

    Towards Containment Checking of Behaviour in Architectural Patterns

    UL Muram, Faiz / Tran, Huy / Zdun, Uwe | BASE | 2017

    Free access

    Towards Containment Checking of Behaviour in Architectural Patterns

    Ul Muram, Faiz / Tran, Huy / Zdun, Uwe | BASE | 2017

    Free access

    Model Checking Concurrent Systems Using Temporal Logics ; Automatische Verifikation paralleler Systeme mittels temporaler Logiken

    Mennicke, Roy | BASE | 2015

    Free access

    THREE-DIMENSIONAL MODEL CHECKING DEVICE AND THREE-DIMENSIONAL MODEL CHECKING PROGRAM

    HAYAKAWA TAKATOSHI | European Patent Office | 2022

    Free access

    A statistical model of rainfall and temporal patterns

    Lambert, M. / Kuczera, G. / International Association for Hydraulic Research et al. | British Library Conference Proceedings | 1996

    Back to top