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.- Sorteer per
- Gewicht
- Alfabetische volgorde
An incremental modular technique for checking LTL-X properties on Petri nets
- K. Klai
- , L. Petrucci
- , M.A. Reniers
Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review
5
Citaten
(Scopus)
108
Downloads
(Pure)