@article{Damian200165,
    Author = {Damian, Daniel},
    File = {Time Stamps for Fixed-Point Approximation - Damian, Brics (0) (0) - a - a - n.pdf},
    ISSN = {1571-0661},
    Journal = {Electronic Notes in Theoretical Computer Science},
    Note = {\{MFPS\} 2001,Seventeenth Conference on the Mathematical Foundations of Programming Semantics},
    Number = {0},
    Pages = {65 - 76},
    Title = {Time Stamps for Fixed-Point Approximation},
    URL = {http://www.sciencedirect.com/science/article/pii/S1571066104809551},
    Volume = {45},
    Year = {2001},
    bdsk-url-1 = {http://www.sciencedirect.com/science/article/pii/S1571066104809551},
    bdsk-url-2 = {http://dx.doi.org/10.1016/S1571-0661(04)80955-1},
    date-added = {2014-03-20 07:17:02 +0000},
    date-modified = {2014-03-20 07:27:28 +0000},
    doi = {10.1016/S1571-0661(04)80955-1}
}

@article{Damian200165, Author = {Damian, Daniel}, File = {Time Stamps for Fixed-Point Approximation - Damian, Brics (0) (0) - a - a - n.pdf}, ISSN = {1571-0661}, Journal = {Electronic Notes in Theoretical Computer Science}, Note = {{MFPS} 2001,Seventeenth Conference on the Mathematical Foundations of Programming Semantics}, Number = {0}, Pages = {65 - 76}, Title = {Time Stamps for Fixed-Point Approximation}, URL = {http://www.sciencedirect.com/science/article/pii/S1571066104809551}, Volume = {45}, Year = {2001}, bdsk-url-1 = {http://www.sciencedirect.com/science/article/pii/S1571066104809551}, bdsk-url-2 = {http://dx.doi.org/10.1016/S1571-0661(04)80955-1}, date-added = {2014-03-20 07:17:02 +0000}, date-modified = {2014-03-20 07:27:28 +0000}, doi = {10.1016/S1571-0661(04)80955-1} }

Library Size: 13G (12941 entries), Last Updated: Apr 04, 2026, 18:14:59, Build Time: N/A badge