@inproceedings{DBLP:conf/formats/KrichenT04,
  author    = {Moez Krichen and
               Stavros Tripakis},
  title     = {Real-Time Testing with Timed Automata Testers and Coverage Criteria},
  booktitle = {Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant
               Systems, Joint International Conferences on Formal Modelling and Analysis
               of Timed Systems, {FORMATS} 2004 and Formal Techniques in Real-Time
               and Fault-Tolerant Systems, {FTRTFT} 2004, Grenoble, France, September
               22-24, 2004, Proceedings},
  pages     = {134--151},
  year      = {2004},
  crossref  = {DBLP:conf/formats/2004},
  url       = {https://doi.org/10.1007/978-3-540-30206-3\_11},
  doi       = {10.1007/978-3-540-30206-3\_11},
  timestamp = {Tue, 14 May 2019 10:00:38 +0200},
  biburl    = {https://dblp.org/rec/conf/formats/KrichenT04.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"mn7mzYHYDDq7MnGh5","bibbaseid":"krichen-tripakis-realtimetestingwithtimedautomatatestersandcoveragecriteria-2004","authorIDs":["3AXWdHNN8eyh8tghc"],"author_short":["Krichen, M.","Tripakis, S."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Moez"],"propositions":[],"lastnames":["Krichen"],"suffixes":[]},{"firstnames":["Stavros"],"propositions":[],"lastnames":["Tripakis"],"suffixes":[]}],"title":"Real-Time Testing with Timed Automata Testers and Coverage Criteria","booktitle":"Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems, Joint International Conferences on Formal Modelling and Analysis of Timed Systems, FORMATS 2004 and Formal Techniques in Real-Time and Fault-Tolerant Systems, FTRTFT 2004, Grenoble, France, September 22-24, 2004, Proceedings","pages":"134–151","year":"2004","crossref":"DBLP:conf/formats/2004","url":"https://doi.org/10.1007/978-3-540-30206-3_11","doi":"10.1007/978-3-540-30206-3_11","timestamp":"Tue, 14 May 2019 10:00:38 +0200","biburl":"https://dblp.org/rec/conf/formats/KrichenT04.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/formats/KrichenT04,\n author = {Moez Krichen and\n Stavros Tripakis},\n title = {Real-Time Testing with Timed Automata Testers and Coverage Criteria},\n booktitle = {Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant\n Systems, Joint International Conferences on Formal Modelling and Analysis\n of Timed Systems, {FORMATS} 2004 and Formal Techniques in Real-Time\n and Fault-Tolerant Systems, {FTRTFT} 2004, Grenoble, France, September\n 22-24, 2004, Proceedings},\n pages = {134--151},\n year = {2004},\n crossref = {DBLP:conf/formats/2004},\n url = {https://doi.org/10.1007/978-3-540-30206-3\\_11},\n doi = {10.1007/978-3-540-30206-3\\_11},\n timestamp = {Tue, 14 May 2019 10:00:38 +0200},\n biburl = {https://dblp.org/rec/conf/formats/KrichenT04.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Krichen, M.","Tripakis, S."],"key":"DBLP:conf/formats/KrichenT04","id":"DBLP:conf/formats/KrichenT04","bibbaseid":"krichen-tripakis-realtimetestingwithtimedautomatatestersandcoveragecriteria-2004","role":"author","urls":{"Paper":"https://doi.org/10.1007/978-3-540-30206-3_11"},"downloads":0,"html":""},"bibtype":"inproceedings","biburl":"http://dblp.org/pers/tb2/k/Krichen:Moez","creationDate":"2020-08-04T12:34:28.225Z","downloads":0,"keywords":[],"search_terms":["real","time","testing","timed","automata","testers","coverage","criteria","krichen","tripakis"],"title":"Real-Time Testing with Timed Automata Testers and Coverage Criteria","year":2004,"dataSources":["hXXP5siPD9pz98Xye"]}