Solving Disjunctive/Conjunctive Boolean Equation Systems with Alternating Fixed Points

Reference:

Jan Friso Groote and Misa Keinänen. Solving disjunctive/conjunctive boolean equation systems with alternating fixed points. In K. Jensen and A. Podelski, editors, Proceedings of the 10th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'2004), volume 2988 of Lecture Notes in Computer Science, pages 436–450, Barcelona, Spain, April 2004. Springer.

Suggested BibTeX entry:

@inproceedings{KeinanenMisa-GroKei:TACAS2004,
    address = {Barcelona, Spain},
    author = {Jan Friso Groote and Misa Kein{\"a}nen},
    booktitle = {Proceedings of the 10th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'2004)},
    editor = {K. Jensen and A. Podelski},
    month = {April},
    pages = {436--450},
    publisher = {Springer},
    series = {Lecture Notes in Computer Science},
    title = {Solving Disjunctive/Conjunctive Boolean Equation Systems with Alternating Fixed Points},
    volume = {2988},
    year = {2004},
}