@article{ dblp1854356,
  title = {Techniques for modelling and verifying railway interlockings},
  author = {Phillip James and Faron Moller and Nguyen Hoang Nga and Markus Roggenbach and Steve A. Schneider and Helen Treharne},
  author_short = {James, P. and Moller, F. and Hoang Nga, N. and Roggenbach, M. and Schneider, S. A. and Treharne, H.},
  bibtype = {article},
  type = {article},
  year = {2014},
  key = {dblp1854356},
  id = {dblp1854356},
  biburl = {http://www.dblp.org/rec/bibtex/journals/sttt/JamesMNRST14},
  url = {http://dx.doi.org/10.1007/s10009-014-0304-7},
  journal = {STTT},
  pages = {685-711},
  number = {6},
  volume = {16},
  text = {STTT 16(6):685-711 (2014)}
}

{"_id":"Po7TZ4xadjgEBTWia","bibbaseid":"james-moller-hoangnga-roggenbach-schneider-treharne-techniquesformodellingandverifyingrailwayinterlockings-2014","downloads":0,"creationDate":"2015-06-12T22:13:31.653Z","title":"Techniques for modelling and verifying railway interlockings","author_short":["James, P.","Moller, F.","Hoang Nga, N.","Roggenbach, M.","Schneider, S. A.","Treharne, H."],"year":2014,"bibtype":"article","biburl":"http://www.dblp.org/rec/bibtex/journals/sttt/JamesMNRST14","bibdata":{"title":"Techniques for modelling and verifying railway interlockings","author":["Phillip James","Faron Moller","Nguyen Hoang Nga","Markus Roggenbach","Steve A. Schneider","Helen Treharne"],"author_short":["James, P.","Moller, F.","Hoang Nga, N.","Roggenbach, M.","Schneider, S. A.","Treharne, H."],"bibtype":"article","type":"article","year":"2014","key":"dblp1854356","id":"dblp1854356","biburl":"http://www.dblp.org/rec/bibtex/journals/sttt/JamesMNRST14","url":"http://dx.doi.org/10.1007/s10009-014-0304-7","journal":"STTT","pages":"685-711","number":"6","volume":"16","text":"STTT 16(6):685-711 (2014)","bibtex":"@article{ dblp1854356,\n title = {Techniques for modelling and verifying railway interlockings},\n author = {Phillip James and Faron Moller and Nguyen Hoang Nga and Markus Roggenbach and Steve A. Schneider and Helen Treharne},\n author_short = {James, P. and Moller, F. and Hoang Nga, N. and Roggenbach, M. and Schneider, S. A. and Treharne, H.},\n bibtype = {article},\n type = {article},\n year = {2014},\n key = {dblp1854356},\n id = {dblp1854356},\n biburl = {http://www.dblp.org/rec/bibtex/journals/sttt/JamesMNRST14},\n url = {http://dx.doi.org/10.1007/s10009-014-0304-7},\n journal = {STTT},\n pages = {685-711},\n number = {6},\n volume = {16},\n text = {STTT 16(6):685-711 (2014)}\n}","bibbaseid":"james-moller-hoangnga-roggenbach-schneider-treharne-techniquesformodellingandverifyingrailwayinterlockings-2014","role":"author","urls":{"Paper":"http://dx.doi.org/10.1007/s10009-014-0304-7"},"downloads":0},"search_terms":["techniques","modelling","verifying","railway","interlockings","james","moller","hoang nga","roggenbach","schneider","treharne"],"keywords":[],"authorIDs":[],"dataSources":["ckF5RmodKWWhd9jBm"]}