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 proceedingChapterAcademicpeer-review

    19 Citations (Scopus)
    554 Downloads (Pure)
    Filter
    PhD Thesis - Research UT, graduation UT

    Search results