Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%0 Conference Paper
%1 conf/cav/DangIBKS00
%A Dang, Zhe
%A Ibarra, Oscar H.
%A Bultan, Tevfik
%A Kemmerer, Richard A.
%A Su, Jianwen
%B CAV
%D 2000
%E Emerson, E. Allen
%E Sistla, A. Prasad
%I Springer
%K dblp
%P 69-84
%T Binary Reachability Analysis of Discrete Pushdown Timed Automata.
%U http://dblp.uni-trier.de/db/conf/cav/cav2000.html#DangIBKS00
%V 1855
%@ 3-540-67770-4
@inproceedings{conf/cav/DangIBKS00,
added-at = {2017-05-24T00:00:00.000+0200},
author = {Dang, Zhe and Ibarra, Oscar H. and Bultan, Tevfik and Kemmerer, Richard A. and Su, Jianwen},
biburl = {https://www.bibsonomy.org/bibtex/2756fbd8a6871ef803fa48d6cf7e00842/dblp},
booktitle = {CAV},
crossref = {conf/cav/2000},
editor = {Emerson, E. Allen and Sistla, A. Prasad},
ee = {https://doi.org/10.1007/10722167_9},
interhash = {2115f6c365b17985e831e8fc71806206},
intrahash = {756fbd8a6871ef803fa48d6cf7e00842},
isbn = {3-540-67770-4},
keywords = {dblp},
pages = {69-84},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
timestamp = {2019-05-15T14:39:09.000+0200},
title = {Binary Reachability Analysis of Discrete Pushdown Timed Automata.},
url = {http://dblp.uni-trier.de/db/conf/cav/cav2000.html#DangIBKS00},
volume = 1855,
year = 2000
}