@inproceedings{523249,
    Author = {Wang, Farn},
    BookTitle = {Logic in Computer Science, 1995. LICS '95. Proceedings., Tenth Annual IEEE Symposium on},
    ISSN = {1043-6871},
    Keywords = {formal verification;real-time systems;temporal logic;TCTL model-checking problem;general linear equations;parametric TCTL formulas;real-time systems;timed transition system;timing behavior analysis;timing parameter variables;Algorithm design and analysis;Automata;Clocks;Cost accounting;Equations;Information analysis;Information science;Protocols;Real time systems;Timing},
    Month = {Jun},
    Pages = {112-122},
    Title = {Timing behavior analysis for real-time systems},
    Year = {1995},
    bdsk-url-1 = {http://dx.doi.org/10.1109/LICS.1995.523249},
    date-added = {2014-10-29 12:39:17 +0000},
    date-modified = {2014-10-29 12:39:17 +0000},
    doi = {10.1109/LICS.1995.523249}
}

@inproceedings{523249, Author = {Wang, Farn}, BookTitle = {Logic in Computer Science, 1995. LICS '95. Proceedings., Tenth Annual IEEE Symposium on}, ISSN = {1043-6871}, Keywords = {formal verification;real-time systems;temporal logic;TCTL model-checking problem;general linear equations;parametric TCTL formulas;real-time systems;timed transition system;timing behavior analysis;timing parameter variables;Algorithm design and analysis;Automata;Clocks;Cost accounting;Equations;Information analysis;Information science;Protocols;Real time systems;Timing}, Month = {Jun}, Pages = {112-122}, Title = {Timing behavior analysis for real-time systems}, Year = {1995}, bdsk-url-1 = {http://dx.doi.org/10.1109/LICS.1995.523249}, date-added = {2014-10-29 12:39:17 +0000}, date-modified = {2014-10-29 12:39:17 +0000}, doi = {10.1109/LICS.1995.523249} }