An incremental modular technique for checking LTL-X properties on Petri nets

K. Klai, L. Petrucci, M.A. Reniers

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

    5 Citaten (Scopus)
    90 Downloads (Pure)

    Vingerafdruk

    Duik in de onderzoeksthema's van 'An incremental modular technique for checking LTL-X properties on Petri nets'. Samen vormen ze een unieke vingerafdruk.

    Computer Science

    Engineering