@article{ dblp1855030,
  title = {On modelling and verifying railway interlockings: Tracking train lengths},
  author = {Phillip James and Faron Moller and Hoang Nga Nguyen and Markus Roggenbach and Steve A. Schneider and Helen Treharne},
  author_short = {James, P. and Moller, F. and Nga Nguyen, H. and Roggenbach, M. and Schneider, S. A. and Treharne, H.},
  bibtype = {article},
  type = {article},
  year = {2014},
  key = {dblp1855030},
  id = {dblp1855030},
  biburl = {http://www.dblp.org/rec/bibtex/journals/scp/JamesMNRST14},
  url = {http://dx.doi.org/10.1016/j.scico.2014.04.005},
  journal = {Sci. Comput. Program. (SCP)},
  pages = {315-336},
  volume = {96},
  text = {Sci. Comput. Program. (SCP) 96:315-336 (2014)}
}

{"_id":"q9vgJyxx8LX3SqRxS","bibbaseid":"james-moller-nganguyen-roggenbach-schneider-treharne-onmodellingandverifyingrailwayinterlockingstrackingtrainlengths-2014","downloads":0,"creationDate":"2015-06-12T22:13:31.654Z","title":"On modelling and verifying railway interlockings: Tracking train lengths","author_short":["James, P.","Moller, F.","Nga Nguyen, H.","Roggenbach, M.","Schneider, S. A.","Treharne, H."],"year":2014,"bibtype":"article","biburl":"http://www.dblp.org/rec/bibtex/journals/scp/JamesMNRST14","bibdata":{"title":"On modelling and verifying railway interlockings: Tracking train lengths","author":["Phillip James","Faron Moller","Hoang Nga Nguyen","Markus Roggenbach","Steve A. Schneider","Helen Treharne"],"author_short":["James, P.","Moller, F.","Nga Nguyen, H.","Roggenbach, M.","Schneider, S. A.","Treharne, H."],"bibtype":"article","type":"article","year":"2014","key":"dblp1855030","id":"dblp1855030","biburl":"http://www.dblp.org/rec/bibtex/journals/scp/JamesMNRST14","url":"http://dx.doi.org/10.1016/j.scico.2014.04.005","journal":"Sci. Comput. Program. (SCP)","pages":"315-336","volume":"96","text":"Sci. Comput. Program. (SCP) 96:315-336 (2014)","bibtex":"@article{ dblp1855030,\n title = {On modelling and verifying railway interlockings: Tracking train lengths},\n author = {Phillip James and Faron Moller and Hoang Nga Nguyen and Markus Roggenbach and Steve A. Schneider and Helen Treharne},\n author_short = {James, P. and Moller, F. and Nga Nguyen, H. and Roggenbach, M. and Schneider, S. A. and Treharne, H.},\n bibtype = {article},\n type = {article},\n year = {2014},\n key = {dblp1855030},\n id = {dblp1855030},\n biburl = {http://www.dblp.org/rec/bibtex/journals/scp/JamesMNRST14},\n url = {http://dx.doi.org/10.1016/j.scico.2014.04.005},\n journal = {Sci. Comput. Program. (SCP)},\n pages = {315-336},\n volume = {96},\n text = {Sci. Comput. Program. (SCP) 96:315-336 (2014)}\n}","bibbaseid":"james-moller-nganguyen-roggenbach-schneider-treharne-onmodellingandverifyingrailwayinterlockingstrackingtrainlengths-2014","role":"author","urls":{"Paper":"http://dx.doi.org/10.1016/j.scico.2014.04.005"},"downloads":0},"search_terms":["modelling","verifying","railway","interlockings","tracking","train","lengths","james","moller","nga nguyen","roggenbach","schneider","treharne"],"keywords":[],"authorIDs":[],"dataSources":["Sq8c4ckZAFgbcqFBA"]}