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
    Pages436-450
    Publication statusPublished - 2004
    MoE publication typeA4 Article in a conference publication

    Keywords

    • algorithm
    • Boolean equation systems
    • conjunctive
    • disjunctive

    Cite this