@incollection{Jorgensen:1994,
    Author = {J{\o}rgensen, Niels},
    BookTitle = {Static Analysis},
    Editor = {Charlier, Baudouin},
    File = {Finding fixpoints in finite function spaces using neededness analysis and chaotic iteration - Jørgensen (1) (0) - a - a - h.pdf},
    ISBN = {978-3-540-58485-8},
    Keywords = {chaotic iteration},
    Pages = {329-345},
    Publisher = {Springer Berlin Heidelberg},
    Series = {Lecture Notes in Computer Science},
    Title = {Finding fixpoints in finite function spaces using neededness analysis and chaotic iteration},
    URL = {http://dx.doi.org/10.1007/3-540-58485-4\_50},
    Volume = {864},
    Year = {1994},
    bdsk-url-1 = {http://dx.doi.org/10.1007/3-540-58485-4\_50},
    date-added = {2014-03-06 19:36:23 +0000},
    date-modified = {2017-04-15 05:50:51 +0000},
    file-2 = {Finding fixpoints in finite function spaces using neededness analysis and chaotic iteration - Jørgensen (0) (0) (0) - a - a - h.pdf},
    doi = {10.1007/3-540-58485-4_50}
}

@incollection{Jorgensen:1994, Author = {J{\o}rgensen, Niels}, BookTitle = {Static Analysis}, Editor = {Charlier, Baudouin}, File = {Finding fixpoints in finite function spaces using neededness analysis and chaotic iteration - Jørgensen (1) (0) - a - a - h.pdf}, ISBN = {978-3-540-58485-8}, Keywords = {chaotic iteration}, Pages = {329-345}, Publisher = {Springer Berlin Heidelberg}, Series = {Lecture Notes in Computer Science}, Title = {Finding fixpoints in finite function spaces using neededness analysis and chaotic iteration}, URL = {http://dx.doi.org/10.1007/3-540-58485-4_50}, Volume = {864}, Year = {1994}, bdsk-url-1 = {http://dx.doi.org/10.1007/3-540-58485-4_50}, date-added = {2014-03-06 19:36:23 +0000}, date-modified = {2017-04-15 05:50:51 +0000}, file-2 = {Finding fixpoints in finite function spaces using neededness analysis and chaotic iteration - Jørgensen (0) (0) (0) - a - a - h.pdf}, doi = {10.1007/3-540-58485-4_50} }