@article{ dblp4418510,
  title = {Optimized Synthesis of Concurrently Checked Controllers},
  author = {Régis Leveugle and Gabriele Saucier},
  author_short = {Leveugle, R. and Saucier, G.},
  bibtype = {article},
  type = {article},
  year = {1990},
  key = {dblp4418510},
  id = {dblp4418510},
  biburl = {http://www.dblp.org/rec/bibtex/journals/tc/LeveugleS90},
  url = {http://doi.ieeecomputersociety.org/10.1109/12.54835},
  journal = {IEEE Trans. Computers (TC)},
  pages = {419-425},
  number = {4},
  volume = {39},
  text = {IEEE Trans. Computers (TC) 39(4):419-425 (1990)}
}

{"_id":{"_str":"5284dbc514a66df4430011ba"},"__v":7,"authorIDs":["545988ebb43425b7720006c7"],"author_short":["Leveugle, R.","Saucier, G."],"bibbaseid":"leveugle-saucier-optimizedsynthesisofconcurrentlycheckedcontrollers-1990","bibdata":{"title":"Optimized Synthesis of Concurrently Checked Controllers","author":["Régis Leveugle","Gabriele Saucier"],"author_short":["Leveugle, R.","Saucier, G."],"bibtype":"article","type":"article","year":"1990","key":"dblp4418510","id":"dblp4418510","biburl":"http://www.dblp.org/rec/bibtex/journals/tc/LeveugleS90","url":"http://doi.ieeecomputersociety.org/10.1109/12.54835","journal":"IEEE Trans. Computers (TC)","pages":"419-425","number":"4","volume":"39","text":"IEEE Trans. Computers (TC) 39(4):419-425 (1990)","bibtex":"@article{ dblp4418510,\n title = {Optimized Synthesis of Concurrently Checked Controllers},\n author = {Régis Leveugle and Gabriele Saucier},\n author_short = {Leveugle, R. and Saucier, G.},\n bibtype = {article},\n type = {article},\n year = {1990},\n key = {dblp4418510},\n id = {dblp4418510},\n biburl = {http://www.dblp.org/rec/bibtex/journals/tc/LeveugleS90},\n url = {http://doi.ieeecomputersociety.org/10.1109/12.54835},\n journal = {IEEE Trans. Computers (TC)},\n pages = {419-425},\n number = {4},\n volume = {39},\n text = {IEEE Trans. Computers (TC) 39(4):419-425 (1990)}\n}","bibbaseid":"leveugle-saucier-optimizedsynthesisofconcurrentlycheckedcontrollers-1990","role":"author","urls":{"Paper":"http://doi.ieeecomputersociety.org/10.1109/12.54835"},"downloads":0},"bibtype":"article","biburl":"http://www.dblp.org/rec/bibtex/journals/tc/LeveugleS90","downloads":0,"keywords":[],"search_terms":["optimized","synthesis","concurrently","checked","controllers","leveugle","saucier"],"title":"Optimized Synthesis of Concurrently Checked Controllers","year":1990,"dataSources":["th5oosCQBgFwkGdFj"]}