@article{KBDPU21,
  author  = {Maureen Keegan and
               V{\'{\i}}ctor A. Braberman and
               Nicol{\'{a}}s D'Ippolito and
               Nir Piterman and
               Sebasti{\'{a}}n Uchitel},
  title   = {Control and Discovery of Reactive System Environments},
  journal = {IEEE Transactions on Software Engineering},
  volume  = {},
  issue   = {},
  year    = {2021},
  url     = {},
  note    = {To appear}
}

{"_id":"ufycrgyjZ8ZLzoR8B","bibbaseid":"keegan-braberman-dippolito-piterman-uchitel-controlanddiscoveryofreactivesystemenvironments-2021","authorIDs":[],"author_short":["Keegan, M.","Braberman, V. A.","D'Ippolito, N.","Piterman, N.","Uchitel, S."],"bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["Maureen"],"propositions":[],"lastnames":["Keegan"],"suffixes":[]},{"firstnames":["Víctor","A."],"propositions":[],"lastnames":["Braberman"],"suffixes":[]},{"firstnames":["Nicolás"],"propositions":[],"lastnames":["D'Ippolito"],"suffixes":[]},{"firstnames":["Nir"],"propositions":[],"lastnames":["Piterman"],"suffixes":[]},{"firstnames":["Sebastián"],"propositions":[],"lastnames":["Uchitel"],"suffixes":[]}],"title":"Control and Discovery of Reactive System Environments","journal":"IEEE Transactions on Software Engineering","volume":"","issue":"","year":"2021","url":"","note":"To appear","bibtex":"@article{KBDPU21,\n author = {Maureen Keegan and\n V{\\'{\\i}}ctor A. Braberman and\n Nicol{\\'{a}}s D'Ippolito and\n Nir Piterman and\n Sebasti{\\'{a}}n Uchitel},\n title = {Control and Discovery of Reactive System Environments},\n journal = {IEEE Transactions on Software Engineering},\n volume = {},\n issue = {},\n year = {2021},\n url = {},\n note = {To appear}\n}\n","author_short":["Keegan, M.","Braberman, V. A.","D'Ippolito, N.","Piterman, N.","Uchitel, S."],"key":"KBDPU21","id":"KBDPU21","bibbaseid":"keegan-braberman-dippolito-piterman-uchitel-controlanddiscoveryofreactivesystemenvironments-2021","role":"author","urls":{"Paper":"https://dsynma.bitbucket.io/publications.bib"},"metadata":{"authorlinks":{}},"downloads":4},"bibtype":"article","biburl":"https://dsynma.bitbucket.io/publications.bib","creationDate":"2020-12-07T14:48:55.525Z","downloads":4,"keywords":[],"search_terms":["control","discovery","reactive","system","environments","keegan","braberman","d'ippolito","piterman","uchitel"],"title":"Control and Discovery of Reactive System Environments","year":2021,"dataSources":["iy3Nfbwfry75yLtD7","ec7btnN2RJ3DQyXEw"]}