BibTeX record journals/tkde/TsaiJS03

download as .bib file

@article{DBLP:journals/tkde/TsaiJS03,
  author    = {Jeffrey J. P. Tsai and
               Eric Y. T. Juan and
               Avinash Sahay},
  title     = {Model and Algorithm for Efficient Verification of High-Assurance Properties
               of Real-Time Systems},
  journal   = {{IEEE} Trans. Knowl. Data Eng.},
  volume    = {15},
  number    = {2},
  pages     = {405--422},
  year      = {2003},
  url       = {http://dx.doi.org/10.1109/TKDE.2003.1185842},
  doi       = {10.1109/TKDE.2003.1185842},
  timestamp = {Tue, 08 Sep 2015 17:31:51 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/tkde/TsaiJS03},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}