@article{Krishnan20005,
    Author = {Krishnan, Padmanabhan},
    File = {Distributed Timed Automata - Krishnan (0) (0) - a - a - u.pdf},
    ISSN = {1571-0661},
    Journal = {Electronic Notes in Theoretical Computer Science},
    Keywords = {timed automata},
    Note = {<ce:title>WDS'99, Workshop on Distributed Systems (A satellite workshop to FCT'99)</ce:title>},
    Number = {0},
    Pages = {5 - 21},
    Title = {Distributed Timed Automata},
    URL = {http://www.sciencedirect.com/science/article/pii/S1571066105806279},
    Volume = {28},
    Year = {2000},
    bdsk-url-1 = {http://www.sciencedirect.com/science/article/pii/S1571066105806279},
    bdsk-url-2 = {http://dx.doi.org/10.1016/S1571-0661(05)80627-9},
    date-added = {2012-05-28 11:07:44 +0200},
    date-modified = {2012-05-28 09:09:02 +0000},
    doi = {10.1016/S1571-0661(05)80627-9}
}

@article{Krishnan20005, Author = {Krishnan, Padmanabhan}, File = {Distributed Timed Automata - Krishnan (0) (0) - a - a - u.pdf}, ISSN = {1571-0661}, Journal = {Electronic Notes in Theoretical Computer Science}, Keywords = {timed automata}, Note = {WDS'99, Workshop on Distributed Systems (A satellite workshop to FCT'99)}, Number = {0}, Pages = {5 - 21}, Title = {Distributed Timed Automata}, URL = {http://www.sciencedirect.com/science/article/pii/S1571066105806279}, Volume = {28}, Year = {2000}, bdsk-url-1 = {http://www.sciencedirect.com/science/article/pii/S1571066105806279}, bdsk-url-2 = {http://dx.doi.org/10.1016/S1571-0661(05)80627-9}, date-added = {2012-05-28 11:07:44 +0200}, date-modified = {2012-05-28 09:09:02 +0000}, doi = {10.1016/S1571-0661(05)80627-9} }