Partial-order reduction for multi-core LTL model checking

A. Laarman, A.J. Wijs

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review

    13 Citaten (Scopus)

    Vingerafdruk

    Duik in de onderzoeksthema's van 'Partial-order reduction for multi-core LTL model checking'. Samen vormen ze een unieke vingerafdruk.

    Computer Science

    Chemical Engineering

    Mathematics