@inproceedings{BouajjaniEchahedRobbana:TimedCF:1994,
    Author = {Bouajjani, Ahmed and Echahed, Rachid and Robbana, Riadh},
    BookTitle = {Proc. of CAV'94},
    Editor = {Dill, David L.},
    File = {Verification of context-free timed systems using linear hybrid observers - Bouajjani, Echahed, Robbana (0) (0) - a - a - z.pdf},
    ISBN = {978-3-540-58179-6},
    Keywords = {timed automata and pushdown automata and context-free grammars},
    Language = {English},
    Pages = {118--131},
    Publisher = {Springer Berlin Heidelberg},
    Series = {LNCS},
    Title = {Verification of context-free timed systems using linear hybrid observers},
    URL = {http://dx.doi.org/10.1007/3-540-58179-0\_48},
    Volume = {818},
    Year = {1994},
    bdsk-url-1 = {http://dx.doi.org/10.1007/3-540-58179-0\_48},
    date-added = {2014-10-22 12:06:36 +0000},
    date-modified = {2014-10-22 12:09:31 +0000},
    doi = {10.1007/3-540-58179-0_48}
}

@inproceedings{BouajjaniEchahedRobbana:TimedCF:1994, Author = {Bouajjani, Ahmed and Echahed, Rachid and Robbana, Riadh}, BookTitle = {Proc. of CAV'94}, Editor = {Dill, David L.}, File = {Verification of context-free timed systems using linear hybrid observers - Bouajjani, Echahed, Robbana (0) (0) - a - a - z.pdf}, ISBN = {978-3-540-58179-6}, Keywords = {timed automata and pushdown automata and context-free grammars}, Language = {English}, Pages = {118--131}, Publisher = {Springer Berlin Heidelberg}, Series = {LNCS}, Title = {Verification of context-free timed systems using linear hybrid observers}, URL = {http://dx.doi.org/10.1007/3-540-58179-0_48}, Volume = {818}, Year = {1994}, bdsk-url-1 = {http://dx.doi.org/10.1007/3-540-58179-0_48}, date-added = {2014-10-22 12:06:36 +0000}, date-modified = {2014-10-22 12:09:31 +0000}, doi = {10.1007/3-540-58179-0_48} }