@article{doi:10.1142/S0129054103001923,
    Author = {D'souza, Deepak},
    EPrint = {http://www.worldscientific.com/doi/pdf/10.1142/S0129054103001923},
    File = {A Logical Characterisation of Event Clock Automata - D'souza (0) (0) - a - a - i.pdf},
    Journal = {International Journal of Foundations of Computer Science},
    Keywords = {timed automata and message sequence charts and MSO},
    Number = {04},
    Pages = {625-639},
    Title = {A Logical Characterisation of Event Clock Automata},
    URL = {http://www.worldscientific.com/doi/abs/10.1142/S0129054103001923},
    Volume = {14},
    Year = {2003},
    bdsk-url-1 = {http://www.worldscientific.com/doi/abs/10.1142/S0129054103001923},
    bdsk-url-2 = {http://dx.doi.org/10.1142/S0129054103001923},
    date-added = {2013-02-22 08:38:19 +0000},
    date-modified = {2013-02-22 08:38:42 +0000},
    doi = {10.1142/S0129054103001923}
}

@article{doi:10.1142/S0129054103001923, Author = {D'souza, Deepak}, EPrint = {http://www.worldscientific.com/doi/pdf/10.1142/S0129054103001923}, File = {A Logical Characterisation of Event Clock Automata - D'souza (0) (0) - a - a - i.pdf}, Journal = {International Journal of Foundations of Computer Science}, Keywords = {timed automata and message sequence charts and MSO}, Number = {04}, Pages = {625-639}, Title = {A Logical Characterisation of Event Clock Automata}, URL = {http://www.worldscientific.com/doi/abs/10.1142/S0129054103001923}, Volume = {14}, Year = {2003}, bdsk-url-1 = {http://www.worldscientific.com/doi/abs/10.1142/S0129054103001923}, bdsk-url-2 = {http://dx.doi.org/10.1142/S0129054103001923}, date-added = {2013-02-22 08:38:19 +0000}, date-modified = {2013-02-22 08:38:42 +0000}, doi = {10.1142/S0129054103001923} }