@article{ dblp4170625,
  title = {The power of reachability testing for timed automata},
  author = {Luca Aceto and Patricia Bouyer and Augusto Burgueño and Kim Guldstrand Larsen},
  author_short = {Aceto, L. and Bouyer, P. and Burgueño, A. and Guldstrand Larsen, K.},
  bibtype = {article},
  type = {article},
  year = {2003},
  key = {dblp4170625},
  id = {dblp4170625},
  biburl = {http://www.dblp.org/rec/bibtex/journals/tcs/AcetoBBL03},
  url = {http://dx.doi.org/10.1016/S0304-3975(02)00334-1},
  journal = {Theor. Comput. Sci. (TCS)},
  pages = {411-475},
  number = {1-3},
  volume = {300},
  text = {Theor. Comput. Sci. (TCS) 300(1-3):411-475 (2003)}
}

{"_id":"mJmrSG96RDt4Pi4LF","bibbaseid":"aceto-bouyer-burgueo-guldstrandlarsen-thepowerofreachabilitytestingfortimedautomata-2003","downloads":0,"creationDate":"2016-02-18T15:10:12.451Z","title":"The power of reachability testing for timed automata","author_short":["Aceto, L.","Bouyer, P.","Burgueño, A.","Guldstrand Larsen, K."],"year":2003,"bibtype":"article","biburl":"http://www.dblp.org/rec/bibtex/journals/tcs/AcetoBBL03","bibdata":{"title":"The power of reachability testing for timed automata","author":["Luca Aceto","Patricia Bouyer","Augusto Burgueño","Kim Guldstrand Larsen"],"author_short":["Aceto, L.","Bouyer, P.","Burgueño, A.","Guldstrand Larsen, K."],"bibtype":"article","type":"article","year":"2003","key":"dblp4170625","id":"dblp4170625","biburl":"http://www.dblp.org/rec/bibtex/journals/tcs/AcetoBBL03","url":"http://dx.doi.org/10.1016/S0304-3975(02)00334-1","journal":"Theor. Comput. Sci. (TCS)","pages":"411-475","number":"1-3","volume":"300","text":"Theor. Comput. Sci. (TCS) 300(1-3):411-475 (2003)","bibtex":"@article{ dblp4170625,\n title = {The power of reachability testing for timed automata},\n author = {Luca Aceto and Patricia Bouyer and Augusto Burgueño and Kim Guldstrand Larsen},\n author_short = {Aceto, L. and Bouyer, P. and Burgueño, A. and Guldstrand Larsen, K.},\n bibtype = {article},\n type = {article},\n year = {2003},\n key = {dblp4170625},\n id = {dblp4170625},\n biburl = {http://www.dblp.org/rec/bibtex/journals/tcs/AcetoBBL03},\n url = {http://dx.doi.org/10.1016/S0304-3975(02)00334-1},\n journal = {Theor. Comput. Sci. (TCS)},\n pages = {411-475},\n number = {1-3},\n volume = {300},\n text = {Theor. Comput. Sci. (TCS) 300(1-3):411-475 (2003)}\n}","bibbaseid":"aceto-bouyer-burgueo-guldstrandlarsen-thepowerofreachabilitytestingfortimedautomata-2003","role":"author","urls":{"Paper":"http://dx.doi.org/10.1016/S0304-3975(02)00334-1"},"downloads":0},"search_terms":["power","reachability","testing","timed","automata","aceto","bouyer","burgueño","guldstrand larsen"],"keywords":[],"authorIDs":["56c5ded4dd338cfd2c0001e2"],"dataSources":["Tf6SohRNaPZoLsjdY"]}