@inproceedings{Bradfield:2005:TEM:2156259.2156293,
    Address = {Berlin, Heidelberg},
    Author = {Bradfield, Julian and Duparc, Jacques and Quickert, Sandra},
    BookTitle = {Proceedings of the 19th International Conference on Computer Science Logic},
    File = {Transfinite Extension of the Mu-calculus - Bradfield, Duparc, Quickert (0) (0) - a - a - n.pdf},
    ISBN = {3-540-28231-9, 978-3-540-28231-0},
    Location = {Oxford, UK},
    Pages = {384--396},
    Publisher = {Springer-Verlag},
    Series = {CSL'05},
    Title = {Transfinite Extension of the Mu-calculus},
    URL = {http://dx.doi.org/10.1007/11538363\_27},
    Year = {2005},
    acmid = {2156293},
    bdsk-url-1 = {http://dx.doi.org/10.1007/11538363\_27},
    date-added = {2014-01-08 10:44:08 +0000},
    date-modified = {2014-01-08 10:44:08 +0000},
    file-2 = {Transfinite Extension of the Mu-calculus - Bradfield, Duparc, Quickert (2) (0) - a - a - n.pdf},
    file-3 = {Transfinite Extension of the Mu-calculus - Bradfield, Duparc, Quickert (1) (0) - a - a - n.pdf},
    numpages = {13},
    doi = {10.1007/11538363_27}
}

@inproceedings{Bradfield:2005:TEM:2156259.2156293, Address = {Berlin, Heidelberg}, Author = {Bradfield, Julian and Duparc, Jacques and Quickert, Sandra}, BookTitle = {Proceedings of the 19th International Conference on Computer Science Logic}, File = {Transfinite Extension of the Mu-calculus - Bradfield, Duparc, Quickert (0) (0) - a - a - n.pdf}, ISBN = {3-540-28231-9, 978-3-540-28231-0}, Location = {Oxford, UK}, Pages = {384--396}, Publisher = {Springer-Verlag}, Series = {CSL'05}, Title = {Transfinite Extension of the Mu-calculus}, URL = {http://dx.doi.org/10.1007/11538363_27}, Year = {2005}, acmid = {2156293}, bdsk-url-1 = {http://dx.doi.org/10.1007/11538363_27}, date-added = {2014-01-08 10:44:08 +0000}, date-modified = {2014-01-08 10:44:08 +0000}, file-2 = {Transfinite Extension of the Mu-calculus - Bradfield, Duparc, Quickert (2) (0) - a - a - n.pdf}, file-3 = {Transfinite Extension of the Mu-calculus - Bradfield, Duparc, Quickert (1) (0) - a - a - n.pdf}, numpages = {13}, doi = {10.1007/11538363_27} }