Modal µ-Calculus, Model Checking and Gauß Elimination

Hendrik Brinksma (Editor), Angelika H. Mader, W.R. Cleaveland (Editor), K.G. Larsen (Editor), K.G. Larsen (Editor), T. Margaria (Editor), B. Steffen (Editor)

    Research output: Contribution to conferencePaperAcademicpeer-review

    14 Citations (Scopus)
    115 Downloads (Pure)

    Fingerprint Dive into the research topics of 'Modal µ-Calculus, Model Checking and Gauß Elimination'. Together they form a unique fingerprint.