Solving disjunctive/conjunctive boolean equation systems with alternating fixed points

Jan Friso Groote, Misa Keinänen

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

    Original languageEnglish
    Title of host publication10th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'2004), Barcelona, Espanja, huhtikuu 2004
    EditorsK. Jensen, A. Podelski
    Publication statusPublished - 2004
    MoE publication typeA4 Article in a conference publication


    • algorithm
    • Boolean equation systems
    • conjunctive
    • disjunctive

    Cite this