Fachinformationsdienst BAUdigital

A platform for research: civil engineering, architecture and urbanism

    Evaluating SPARQL-based model checking: Potentials and limitations

    New search for: Hoffmann, A.
    New search for: Shi, M.
    New search for: Wagner, A.
    New search for: Thiele, C.-D.
    New search for: Huyeng, T.-J.
    New search for: Rüppel, U.
    New search for: Sprenger, W.

    Access

    Access via TIB
    Check availability in my library
    Order at Subito €

    Access

    Access via TIB
    Check availability in my library
    Order at Subito €

    Page navigation

    Document information
    Similar titles

    Export, share and cite

    Evaluating SPARQL-based model checking: Potentials and limitations

    New search for: Hoffmann, A.
    New search for: Shi, M.
    New search for: Wagner, A.
    New search for: Thiele, C.-D.
    New search for: Huyeng, T.-J.
    New search for: Rüppel, U.
    New search for: Sprenger, W.

    Access

    Access via TIB
    Check availability in my library
    Order at Subito €

    Evaluating SPARQL-based model checking: Potentials and limitations

    New search for: Hoffmann, A.
    New search for: Shi, M.
    New search for: Wagner, A.
    New search for: Thiele, C.-D.
    New search for: Huyeng, T.-J.
    New search for: Rüppel, U.
    New search for: Sprenger, W.

    Access

    Access via TIB
    Check availability in my library
    Order at Subito €

    Access

    Access via TIB
    Check availability in my library
    Order at Subito €

    Page navigation

    Document information
    Similar titles

    Export, share and cite

    Document information
    Title:

    Evaluating SPARQL-based model checking: Potentials and limitations

    Contributors:

    Hoffmann, A. (author) / Shi, M. (author) / Wagner, A. (author) / Thiele, C.-D. (author) / Huyeng, T.-J. (author) / Rüppel, U. (author) / Sprenger, W. (author)

    Conference:

    ECPPM ; 13. ; 2021 ; Online

    Published in:

    ECPPM 2021 - eWork and ebusiness in architecture, engineering and construction

    Publication date:

    2021

    ISBN:

    9781032043289 , 9781032043296

    Type of media:

    Conference paper

    Type of material:

    Print

    Language:

    English

    Keywords:

    CAD , Electronic Commerce , Management

    Classification:

    BKL:  85.20 Betriebliche Information und Kommunikation / 56.03 Methoden im Bauingenieurwesen

    Similar titles

    Regionalization of a Rainfall-Runoff Model: Limitations and Potentials

    Jung-Hun Song / Younggu Her / Kyo Suh et al. | DOAJ | 2019

    Free access

    Dynamic linked data: A SPARQL event processing architecture

    Roffia, Luca / Azzoni, Paolo / Aguzzi, Cristiano et al. | BASE | 2018

    Free access

    Querying linked building data using SPARQL with functional extensions

    Zhang, C. / Beetz, J. | TIBKAT | 2016

    User charges in irrigation: Potentials and limitations

    Small, Leslie E. | Online Contents | 1989

    Potentials and Limitations of Moon-Borne SAR Imaging

    Fornaro, G | Online Contents | 2010

    Back to top