Obtaining Memory Efficient Solutions to Boolean Equation Systems

Reference:

Misa Keinänen. Obtaining memory efficient solutions to boolean equation systems. In J. Bicarregui A. Butterfield and A. Arenas, editors, Proceedings of the 9th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2004), number SEA-SR-03 in Technical Report, pages 191–208, Linz, Austria, September 2004. Institute for systems Engineering & Automation, Kepler University Linz.

Suggested BibTeX entry:

@inproceedings{KeinanenMisa-fmics04,
    address = {Linz, Austria},
    author = {Misa Kein{\"a}nen},
    booktitle = {Proceedings of the 9th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2004)},
    editor = {A. Butterfield, J. Bicarregui and A. Arenas},
    month = {September},
    number = {SEA-SR-03},
    pages = {191--208},
    publisher = {Institute for systems Engineering & Automation, Kepler University Linz},
    series = {Technical Report},
    title = {Obtaining Memory Efficient Solutions to Boolean Equation Systems},
    year = {2004},
}