Using the Parallel ATerm Library for Parallel Model Checking and State Space Generation

Jan Friso Groote, Kevin H.J. Jilissen, Maurice Laveaux, P. H.M. van Spaendonck, Tim A.C. Willemse

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

1 Citaat (Scopus)

Vingerafdruk

Duik in de onderzoeksthema's van 'Using the Parallel ATerm Library for Parallel Model Checking and State Space Generation'. Samen vormen ze een unieke vingerafdruk.

Computer Science