Analysing gCSP Models Using Runtime and Model Analysis Algorithms

M.M. Bezemer, M.A. Groothuis

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    1 Citation (Scopus)
    34 Downloads (Pure)

    Fingerprint

    Dive into the research topics of 'Analysing gCSP Models Using Runtime and Model Analysis Algorithms'. Together they form a unique fingerprint.