Parallel Model Checking Algorithms for Linear-Time Temporal Logic

Jiri Barnat, Vincent Bloemen, Alexandre Duret-Lutz, Alfons Laarman, Laure Petrucci, Jaco van de Pol, Etienne Renault

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

    19 Citations (Scopus)
    508 Downloads (Pure)

    Fingerprint

    Dive into the research topics of 'Parallel Model Checking Algorithms for Linear-Time Temporal Logic'. Together they form a unique fingerprint.

    Computer Science