@incollection{HenzingerKupferman:1997,
    Author = {Henzinger, ThomasA. and Kupferman, Orna},
    BookTitle = {Hybrid and Real-Time Systems},
    Editor = {Maler, Oded},
    File = {From quantity to quality - Henzinger, Kupferman (0) (0) - a - a - a.pdf},
    ISBN = {978-3-540-62600-8},
    Language = {English},
    Pages = {48-62},
    Publisher = {Springer Berlin Heidelberg},
    Series = {Lecture Notes in Computer Science},
    Title = {From quantity to quality},
    URL = {http://dx.doi.org/10.1007/BFb0014712},
    Volume = {1201},
    Year = {1997},
    bdsk-url-1 = {http://dx.doi.org/10.1007/BFb0014712},
    date-added = {2014-10-29 12:43:08 +0000},
    date-modified = {2014-10-29 12:43:08 +0000},
    file-2 = {From quantity to quality - Henzinger, Kupferman (1) (0) - a - a - a.pdf},
    doi = {10.1007/BFb0014712}
}

@incollection{HenzingerKupferman:1997, Author = {Henzinger, ThomasA. and Kupferman, Orna}, BookTitle = {Hybrid and Real-Time Systems}, Editor = {Maler, Oded}, File = {From quantity to quality - Henzinger, Kupferman (0) (0) - a - a - a.pdf}, ISBN = {978-3-540-62600-8}, Language = {English}, Pages = {48-62}, Publisher = {Springer Berlin Heidelberg}, Series = {Lecture Notes in Computer Science}, Title = {From quantity to quality}, URL = {http://dx.doi.org/10.1007/BFb0014712}, Volume = {1201}, Year = {1997}, bdsk-url-1 = {http://dx.doi.org/10.1007/BFb0014712}, date-added = {2014-10-29 12:43:08 +0000}, date-modified = {2014-10-29 12:43:08 +0000}, file-2 = {From quantity to quality - Henzinger, Kupferman (1) (0) - a - a - a.pdf}, doi = {10.1007/BFb0014712} }