@article{DBLP:journals/corr/abs-1207-6267,
  author    = {Nathalie Bertrand and
               Thierry J{\'{e}}ron and
               Am{\'{e}}lie Stainer and
               Moez Krichen},
  title     = {Off-line test selection with test purposes for non-deterministic timed
               automata},
  journal   = {Log. Methods Comput. Sci.},
  volume    = {8},
  number    = {4},
  year      = {2012},
  url       = {https://doi.org/10.2168/LMCS-8(4:8)2012},
  doi       = {10.2168/LMCS-8(4:8)2012},
  timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/corr/abs-1207-6267.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"d4SjrfqX9cSxorxHz","bibbaseid":"bertrand-jron-stainer-krichen-offlinetestselectionwithtestpurposesfornondeterministictimedautomata-2012","authorIDs":["3AXWdHNN8eyh8tghc"],"author_short":["Bertrand, N.","Jéron, T.","Stainer, A.","Krichen, M."],"bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["Nathalie"],"propositions":[],"lastnames":["Bertrand"],"suffixes":[]},{"firstnames":["Thierry"],"propositions":[],"lastnames":["Jéron"],"suffixes":[]},{"firstnames":["Amélie"],"propositions":[],"lastnames":["Stainer"],"suffixes":[]},{"firstnames":["Moez"],"propositions":[],"lastnames":["Krichen"],"suffixes":[]}],"title":"Off-line test selection with test purposes for non-deterministic timed automata","journal":"Log. Methods Comput. Sci.","volume":"8","number":"4","year":"2012","url":"https://doi.org/10.2168/LMCS-8(4:8)2012","doi":"10.2168/LMCS-8(4:8)2012","timestamp":"Thu, 25 Jun 2020 01:00:00 +0200","biburl":"https://dblp.org/rec/journals/corr/abs-1207-6267.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@article{DBLP:journals/corr/abs-1207-6267,\n author = {Nathalie Bertrand and\n Thierry J{\\'{e}}ron and\n Am{\\'{e}}lie Stainer and\n Moez Krichen},\n title = {Off-line test selection with test purposes for non-deterministic timed\n automata},\n journal = {Log. Methods Comput. Sci.},\n volume = {8},\n number = {4},\n year = {2012},\n url = {https://doi.org/10.2168/LMCS-8(4:8)2012},\n doi = {10.2168/LMCS-8(4:8)2012},\n timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},\n biburl = {https://dblp.org/rec/journals/corr/abs-1207-6267.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Bertrand, N.","Jéron, T.","Stainer, A.","Krichen, M."],"key":"DBLP:journals/corr/abs-1207-6267","id":"DBLP:journals/corr/abs-1207-6267","bibbaseid":"bertrand-jron-stainer-krichen-offlinetestselectionwithtestpurposesfornondeterministictimedautomata-2012","role":"author","urls":{"Paper":"https://doi.org/10.2168/LMCS-8(4:8)2012"},"downloads":0,"html":""},"bibtype":"article","biburl":"http://dblp.org/pers/tb2/k/Krichen:Moez","creationDate":"2020-08-04T12:34:28.215Z","downloads":0,"keywords":[],"search_terms":["line","test","selection","test","purposes","non","deterministic","timed","automata","bertrand","jéron","stainer","krichen"],"title":"Off-line test selection with test purposes for non-deterministic timed automata","year":2012,"dataSources":["hXXP5siPD9pz98Xye"]}