Automata-Based CSL Model Checking

Lijun Zhang, David N. Jansen, Flemming Nielson, Holger Hermanns

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

    Fingerprint

    Dive into the research topics of 'Automata-Based CSL Model Checking'. Together they form a unique fingerprint.

    Mathematics

    Computer Science