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