@inproceedings{conf/eurocon/OzSKUC15,
  added-at = {2015-11-09T00:00:00.000+0100},
  author = {Oz, Muhammed Ali Nur and Sener, Ibrahim and Kaymakci, Ozgur Turay and Üstoglu, Ilker and Cansever, Galip},
  biburl = {http://www.bibsonomy.org/bibtex/2c53b15788165deba4fb4fef8c27dc5c5/dblp},
  booktitle = {EUROCON},
  crossref = {conf/eurocon/2015},
  ee = {http://dx.doi.org/10.1109/EUROCON.2015.7313752},
  interhash = {0399968d15cf8c791b8cdb8390a321b3},
  intrahash = {c53b15788165deba4fb4fef8c27dc5c5},
  isbn = {978-1-4799-8569-2},
  keywords = {dblp},
  pages = {1-4},
  publisher = {IEEE},
  timestamp = {2015-11-10T11:42:52.000+0100},
  title = {A tool for automatic formal modeling of railway interlocking systems.},
  url = {http://dblp.uni-trier.de/db/conf/eurocon/eurocon2015.html#OzSKUC15},
  year = 2015
}

{"_id":"XdwxDvERRTxTiTBcA","bibbaseid":"oz-sener-kaymakci-stoglu-cansever-atoolforautomaticformalmodelingofrailwayinterlockingsystems-2015","downloads":0,"creationDate":"2016-01-01T22:50:40.160Z","title":"A tool for automatic formal modeling of railway interlocking systems.","author_short":["Oz, M. A. N.","Sener, I.","Kaymakci, O. T.","Üstoglu, I.","Cansever, G."],"year":2015,"bibtype":"inproceedings","biburl":"http://www.bibsonomy.org/bib/author/Emir Muñoz?items=1000","bibdata":{"bibtype":"inproceedings","type":"inproceedings","added-at":"2015-11-09T00:00:00.000+0100","author":[{"propositions":[],"lastnames":["Oz"],"firstnames":["Muhammed","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/2c53b15788165deba4fb4fef8c27dc5c5/dblp","booktitle":"EUROCON","crossref":"conf/eurocon/2015","ee":"http://dx.doi.org/10.1109/EUROCON.2015.7313752","interhash":"0399968d15cf8c791b8cdb8390a321b3","intrahash":"c53b15788165deba4fb4fef8c27dc5c5","isbn":"978-1-4799-8569-2","keywords":"dblp","pages":"1-4","publisher":"IEEE","timestamp":"2015-11-10T11:42:52.000+0100","title":"A tool for automatic formal modeling of railway interlocking systems.","url":"http://dblp.uni-trier.de/db/conf/eurocon/eurocon2015.html#OzSKUC15","year":"2015","bibtex":"@inproceedings{conf/eurocon/OzSKUC15,\n added-at = {2015-11-09T00:00:00.000+0100},\n author = {Oz, Muhammed Ali Nur and Sener, Ibrahim and Kaymakci, Ozgur Turay and Üstoglu, Ilker and Cansever, Galip},\n biburl = {http://www.bibsonomy.org/bibtex/2c53b15788165deba4fb4fef8c27dc5c5/dblp},\n booktitle = {EUROCON},\n crossref = {conf/eurocon/2015},\n ee = {http://dx.doi.org/10.1109/EUROCON.2015.7313752},\n interhash = {0399968d15cf8c791b8cdb8390a321b3},\n intrahash = {c53b15788165deba4fb4fef8c27dc5c5},\n isbn = {978-1-4799-8569-2},\n keywords = {dblp},\n pages = {1-4},\n publisher = {IEEE},\n timestamp = {2015-11-10T11:42:52.000+0100},\n title = {A tool for automatic formal modeling of railway interlocking systems.},\n url = {http://dblp.uni-trier.de/db/conf/eurocon/eurocon2015.html#OzSKUC15},\n year = 2015\n}\n\n","author_short":["Oz, M. A. N.","Sener, I.","Kaymakci, O. T.","Üstoglu, I.","Cansever, G."],"key":"conf/eurocon/OzSKUC15","id":"conf/eurocon/OzSKUC15","bibbaseid":"oz-sener-kaymakci-stoglu-cansever-atoolforautomaticformalmodelingofrailwayinterlockingsystems-2015","role":"author","urls":{"Link":"http://dx.doi.org/10.1109/EUROCON.2015.7313752","Paper":"http://dblp.uni-trier.de/db/conf/eurocon/eurocon2015.html#OzSKUC15"},"keyword":["dblp"],"downloads":0},"search_terms":["tool","automatic","formal","modeling","railway","interlocking","systems","oz","sener","kaymakci","üstoglu","cansever"],"keywords":["dblp"],"authorIDs":[],"dataSources":["wqGwgwuNEkgHptPJs"]}