@article{journals/itc/OzSKUC15,
  added-at = {2015-04-21T00:00:00.000+0200},
  author = {Oz, Muhammet Ali Nur and Sener, Ibrahim and Kaymakci, Ozgur Turay and Üstoglu, Ilker and Cansever, Galip},
  biburl = {http://www.bibsonomy.org/bibtex/2f9ab05a819ca4587df2a9d32993a5d42/dblp},
  ee = {http://dx.doi.org/10.5755/j01.itc.44.1.7382},
  interhash = {b009c5ba99e2ec1f61d9b39ef5cc943a},
  intrahash = {f9ab05a819ca4587df2a9d32993a5d42},
  journal = {ITC},
  keywords = {dblp},
  number = 1,
  pages = {98-111},
  timestamp = {2015-06-18T07:24:01.000+0200},
  title = {Topology Based Automatic Formal Model Generation for Point Automation Systems.},
  url = {http://dblp.uni-trier.de/db/journals/itc/itc44.html#OzSKUC15},
  volume = 44,
  year = 2015
}

{"_id":"s3hC4ng8mubQrE2i8","bibbaseid":"oz-sener-kaymakci-stoglu-cansever-topologybasedautomaticformalmodelgenerationforpointautomationsystems-2015","downloads":0,"creationDate":"2016-01-01T22:50:42.941Z","title":"Topology Based Automatic Formal Model Generation for Point Automation Systems.","author_short":["Oz, M. A. N.","Sener, I.","Kaymakci, O. T.","Üstoglu, I.","Cansever, G."],"year":2015,"bibtype":"article","biburl":"http://www.bibsonomy.org/bib/author/Emir Muñoz?items=1000","bibdata":{"bibtype":"article","type":"article","added-at":"2015-04-21T00:00:00.000+0200","author":[{"propositions":[],"lastnames":["Oz"],"firstnames":["Muhammet","Ali","Nur"],"suffixes":[]},{"propositions":[],"lastnames":["Sener"],"firstnames":["Ibrahim"],"suffixes":[]},{"propositions":[],"lastnames":["Kaymakci"],"firstnames":["Ozgur","Turay"],"suffixes":[]},{"propositions":[],"lastnames":["Üstoglu"],"firstnames":["Ilker"],"suffixes":[]},{"propositions":[],"lastnames":["Cansever"],"firstnames":["Galip"],"suffixes":[]}],"biburl":"http://www.bibsonomy.org/bibtex/2f9ab05a819ca4587df2a9d32993a5d42/dblp","ee":"http://dx.doi.org/10.5755/j01.itc.44.1.7382","interhash":"b009c5ba99e2ec1f61d9b39ef5cc943a","intrahash":"f9ab05a819ca4587df2a9d32993a5d42","journal":"ITC","keywords":"dblp","number":"1","pages":"98-111","timestamp":"2015-06-18T07:24:01.000+0200","title":"Topology Based Automatic Formal Model Generation for Point Automation Systems.","url":"http://dblp.uni-trier.de/db/journals/itc/itc44.html#OzSKUC15","volume":"44","year":"2015","bibtex":"@article{journals/itc/OzSKUC15,\n added-at = {2015-04-21T00:00:00.000+0200},\n author = {Oz, Muhammet Ali Nur and Sener, Ibrahim and Kaymakci, Ozgur Turay and Üstoglu, Ilker and Cansever, Galip},\n biburl = {http://www.bibsonomy.org/bibtex/2f9ab05a819ca4587df2a9d32993a5d42/dblp},\n ee = {http://dx.doi.org/10.5755/j01.itc.44.1.7382},\n interhash = {b009c5ba99e2ec1f61d9b39ef5cc943a},\n intrahash = {f9ab05a819ca4587df2a9d32993a5d42},\n journal = {ITC},\n keywords = {dblp},\n number = 1,\n pages = {98-111},\n timestamp = {2015-06-18T07:24:01.000+0200},\n title = {Topology Based Automatic Formal Model Generation for Point Automation Systems.},\n url = {http://dblp.uni-trier.de/db/journals/itc/itc44.html#OzSKUC15},\n volume = 44,\n year = 2015\n}\n\n","author_short":["Oz, M. A. N.","Sener, I.","Kaymakci, O. T.","Üstoglu, I.","Cansever, G."],"key":"journals/itc/OzSKUC15","id":"journals/itc/OzSKUC15","bibbaseid":"oz-sener-kaymakci-stoglu-cansever-topologybasedautomaticformalmodelgenerationforpointautomationsystems-2015","role":"author","urls":{"Link":"http://dx.doi.org/10.5755/j01.itc.44.1.7382","Paper":"http://dblp.uni-trier.de/db/journals/itc/itc44.html#OzSKUC15"},"keyword":["dblp"],"downloads":0},"search_terms":["topology","based","automatic","formal","model","generation","point","automation","systems","oz","sener","kaymakci","üstoglu","cansever"],"keywords":["dblp"],"authorIDs":[],"dataSources":["wqGwgwuNEkgHptPJs"]}