@inproceedings{DBLP:conf/ictac/Krichen19,
  author    = {Moez Krichen},
  title     = {Testing Real-Time Systems Using Determinization Techniques for Automata
               over Timed Domains},
  booktitle = {Theoretical Aspects of Computing - {ICTAC} 2019 - 16th International
               Colloquium, Hammamet, Tunisia, October 31 - November 4, 2019, Proceedings},
  pages     = {124--133},
  year      = {2019},
  crossref  = {DBLP:conf/ictac/2019},
  url       = {https://doi.org/10.1007/978-3-030-32505-3\_8},
  doi       = {10.1007/978-3-030-32505-3\_8},
  timestamp = {Mon, 28 Oct 2019 17:08:44 +0100},
  biburl    = {https://dblp.org/rec/conf/ictac/Krichen19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"3pptrhySbbXPkPWT6","bibbaseid":"krichen-testingrealtimesystemsusingdeterminizationtechniquesforautomataovertimeddomains-2019","authorIDs":["3AXWdHNN8eyh8tghc"],"author_short":["Krichen, M."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Moez"],"propositions":[],"lastnames":["Krichen"],"suffixes":[]}],"title":"Testing Real-Time Systems Using Determinization Techniques for Automata over Timed Domains","booktitle":"Theoretical Aspects of Computing - ICTAC 2019 - 16th International Colloquium, Hammamet, Tunisia, October 31 - November 4, 2019, Proceedings","pages":"124–133","year":"2019","crossref":"DBLP:conf/ictac/2019","url":"https://doi.org/10.1007/978-3-030-32505-3_8","doi":"10.1007/978-3-030-32505-3_8","timestamp":"Mon, 28 Oct 2019 17:08:44 +0100","biburl":"https://dblp.org/rec/conf/ictac/Krichen19.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/ictac/Krichen19,\n author = {Moez Krichen},\n title = {Testing Real-Time Systems Using Determinization Techniques for Automata\n over Timed Domains},\n booktitle = {Theoretical Aspects of Computing - {ICTAC} 2019 - 16th International\n Colloquium, Hammamet, Tunisia, October 31 - November 4, 2019, Proceedings},\n pages = {124--133},\n year = {2019},\n crossref = {DBLP:conf/ictac/2019},\n url = {https://doi.org/10.1007/978-3-030-32505-3\\_8},\n doi = {10.1007/978-3-030-32505-3\\_8},\n timestamp = {Mon, 28 Oct 2019 17:08:44 +0100},\n biburl = {https://dblp.org/rec/conf/ictac/Krichen19.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Krichen, M."],"key":"DBLP:conf/ictac/Krichen19","id":"DBLP:conf/ictac/Krichen19","bibbaseid":"krichen-testingrealtimesystemsusingdeterminizationtechniquesforautomataovertimeddomains-2019","role":"author","urls":{"Paper":"https://doi.org/10.1007/978-3-030-32505-3_8"},"downloads":0,"html":""},"bibtype":"inproceedings","biburl":"http://dblp.org/pers/tb2/k/Krichen:Moez","creationDate":"2020-08-04T12:34:28.154Z","downloads":0,"keywords":[],"search_terms":["testing","real","time","systems","using","determinization","techniques","automata","over","timed","domains","krichen"],"title":"Testing Real-Time Systems Using Determinization Techniques for Automata over Timed Domains","year":2019,"dataSources":["hXXP5siPD9pz98Xye"]}