@misc {IOPORT.70693984,
    author       = {Manolios, Panagiotis},
    title        = {Brief announcement: branching time refinement},
    howpublished = {PODC, 334 (2003).},
    year         = {2003},
    doi          = {10.1145/872035.872084},
    identifier   = {70693984},
}