@inproceedings{DBLP:conf/spin/KrichenT04,
  author    = {Moez Krichen and
               Stavros Tripakis},
  title     = {Black-Box Conformance Testing for Real-Time Systems},
  booktitle = {Model Checking Software, 11th International {SPIN} Workshop, Barcelona,
               Spain, April 1-3, 2004, Proceedings},
  pages     = {109--126},
  year      = {2004},
  crossref  = {DBLP:conf/spin/2004},
  url       = {https://doi.org/10.1007/978-3-540-24732-6\_8},
  doi       = {10.1007/978-3-540-24732-6\_8},
  timestamp = {Tue, 14 May 2019 10:00:36 +0200},
  biburl    = {https://dblp.org/rec/conf/spin/KrichenT04.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"oBvTD9Jc6T2MpaR33","bibbaseid":"krichen-tripakis-blackboxconformancetestingforrealtimesystems-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":"Black-Box Conformance Testing for Real-Time Systems","booktitle":"Model Checking Software, 11th International SPIN Workshop, Barcelona, Spain, April 1-3, 2004, Proceedings","pages":"109–126","year":"2004","crossref":"DBLP:conf/spin/2004","url":"https://doi.org/10.1007/978-3-540-24732-6_8","doi":"10.1007/978-3-540-24732-6_8","timestamp":"Tue, 14 May 2019 10:00:36 +0200","biburl":"https://dblp.org/rec/conf/spin/KrichenT04.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/spin/KrichenT04,\n author = {Moez Krichen and\n Stavros Tripakis},\n title = {Black-Box Conformance Testing for Real-Time Systems},\n booktitle = {Model Checking Software, 11th International {SPIN} Workshop, Barcelona,\n Spain, April 1-3, 2004, Proceedings},\n pages = {109--126},\n year = {2004},\n crossref = {DBLP:conf/spin/2004},\n url = {https://doi.org/10.1007/978-3-540-24732-6\\_8},\n doi = {10.1007/978-3-540-24732-6\\_8},\n timestamp = {Tue, 14 May 2019 10:00:36 +0200},\n biburl = {https://dblp.org/rec/conf/spin/KrichenT04.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Krichen, M.","Tripakis, S."],"key":"DBLP:conf/spin/KrichenT04","id":"DBLP:conf/spin/KrichenT04","bibbaseid":"krichen-tripakis-blackboxconformancetestingforrealtimesystems-2004","role":"author","urls":{"Paper":"https://doi.org/10.1007/978-3-540-24732-6_8"},"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":["black","box","conformance","testing","real","time","systems","krichen","tripakis"],"title":"Black-Box Conformance Testing for Real-Time Systems","year":2004,"dataSources":["hXXP5siPD9pz98Xye"]}