@inproceedings{ dblp2635323,
  title = {Refinement-Preserving Translation from Event-B to Register-Voice Interactive Systems},
  author = {Denisa Diaconescu and Ioana Leustean and Luigia Petre and Kaisa Sere and Gheorghe Stefanescu},
  author_short = {Diaconescu, D. and Leustean, I. and Petre, L. and Sere, K. and Stefanescu, G.},
  bibtype = {inproceedings},
  type = {inproceedings},
  year = {2012},
  key = {dblp2635323},
  id = {dblp2635323},
  biburl = {http://www.dblp.org/rec/bibtex/conf/ifm/DiaconescuLPSS12},
  url = {http://dx.doi.org/10.1007/978-3-642-30729-4_16},
  conference = {IFM},
  pages = {221-236},
  text = {IFM 2012:221-236},
  booktitle = {Proceedings of Integrated Formal Methods (IFM)}
}

{"_id":"QuvafhLZHKbCoM6uJ","bibbaseid":"diaconescu-leustean-petre-sere-stefanescu-refinementpreservingtranslationfromeventbtoregistervoiceinteractivesystems-2012","downloads":0,"creationDate":"2016-05-03T16:43:37.479Z","title":"Refinement-Preserving Translation from Event-B to Register-Voice Interactive Systems","author_short":["Diaconescu, D.","Leustean, I.","Petre, L.","Sere, K.","Stefanescu, G."],"year":2012,"bibtype":"inproceedings","biburl":"http://www.dblp.org/rec/bibtex/conf/ifm/DiaconescuLPSS12","bibdata":{"title":"Refinement-Preserving Translation from Event-B to Register-Voice Interactive Systems","author":["Denisa Diaconescu","Ioana Leustean","Luigia Petre","Kaisa Sere","Gheorghe Stefanescu"],"author_short":["Diaconescu, D.","Leustean, I.","Petre, L.","Sere, K.","Stefanescu, G."],"bibtype":"inproceedings","type":"inproceedings","year":"2012","key":"dblp2635323","id":"dblp2635323","biburl":"http://www.dblp.org/rec/bibtex/conf/ifm/DiaconescuLPSS12","url":"http://dx.doi.org/10.1007/978-3-642-30729-4_16","conference":"IFM","pages":"221-236","text":"IFM 2012:221-236","booktitle":"Proceedings of Integrated Formal Methods (IFM)","bibtex":"@inproceedings{ dblp2635323,\n title = {Refinement-Preserving Translation from Event-B to Register-Voice Interactive Systems},\n author = {Denisa Diaconescu and Ioana Leustean and Luigia Petre and Kaisa Sere and Gheorghe Stefanescu},\n author_short = {Diaconescu, D. and Leustean, I. and Petre, L. and Sere, K. and Stefanescu, G.},\n bibtype = {inproceedings},\n type = {inproceedings},\n year = {2012},\n key = {dblp2635323},\n id = {dblp2635323},\n biburl = {http://www.dblp.org/rec/bibtex/conf/ifm/DiaconescuLPSS12},\n url = {http://dx.doi.org/10.1007/978-3-642-30729-4_16},\n conference = {IFM},\n pages = {221-236},\n text = {IFM 2012:221-236},\n booktitle = {Proceedings of Integrated Formal Methods (IFM)}\n}","bibbaseid":"diaconescu-leustean-petre-sere-stefanescu-refinementpreservingtranslationfromeventbtoregistervoiceinteractivesystems-2012","role":"author","urls":{"Paper":"http://dx.doi.org/10.1007/978-3-642-30729-4_16"},"downloads":0},"search_terms":["refinement","preserving","translation","event","register","voice","interactive","systems","diaconescu","leustean","petre","sere","stefanescu"],"keywords":[],"authorIDs":[],"dataSources":["3Dm5ky6afq8ZZ3d4r"]}