@article{journals/scp/Hartonas-GarmhausenCCCG00,
  added-at = {2011-08-30T00:00:00.000+0200},
  author = {Hartonas-Garmhausen, Vicky and Campos, Sérgio Vale Aguiar and Cimatti, Alessandro and Clarke, Edmund M. and Giunchiglia, Fausto},
  biburl = {http://www.bibsonomy.org/bibtex/22ff0d2c679f3d8f54e77cc04bd451807/dblp},
  ee = {http://dx.doi.org/10.1016/S0167-6423(99)00016-7},
  interhash = {2a429f32028f418a13a238becd906bee},
  intrahash = {2ff0d2c679f3d8f54e77cc04bd451807},
  journal = {Sci. Comput. Program.},
  keywords = {dblp},
  number = 1,
  pages = {53-64},
  timestamp = {2011-08-31T11:33:52.000+0200},
  title = {Verification of a safety-critical railway interlocking system with real-time constraints.},
  url = {http://dblp.uni-trier.de/db/journals/scp/scp36.html#Hartonas-GarmhausenCCCG00},
  volume = 36,
  year = 2000
}

{"_id":"YEE9Nw9WmamnbdTkX","bibbaseid":"hartonasgarmhausen-campos-cimatti-clarke-giunchiglia-verificationofasafetycriticalrailwayinterlockingsystemwithrealtimeconstraints-2000","downloads":0,"creationDate":"2016-11-08T12:25:30.469Z","title":"Verification of a safety-critical railway interlocking system with real-time constraints.","author_short":["Hartonas-Garmhausen, V.","Campos, S. V. A.","Cimatti, A.","Clarke, E. M.","Giunchiglia, F."],"year":2000,"bibtype":"article","biburl":"http://www.bibsonomy.org/bib/author/vale?items=1000","bibdata":{"bibtype":"article","type":"article","added-at":"2011-08-30T00:00:00.000+0200","author":[{"propositions":[],"lastnames":["Hartonas-Garmhausen"],"firstnames":["Vicky"],"suffixes":[]},{"propositions":[],"lastnames":["Campos"],"firstnames":["Sérgio","Vale","Aguiar"],"suffixes":[]},{"propositions":[],"lastnames":["Cimatti"],"firstnames":["Alessandro"],"suffixes":[]},{"propositions":[],"lastnames":["Clarke"],"firstnames":["Edmund","M."],"suffixes":[]},{"propositions":[],"lastnames":["Giunchiglia"],"firstnames":["Fausto"],"suffixes":[]}],"biburl":"http://www.bibsonomy.org/bibtex/22ff0d2c679f3d8f54e77cc04bd451807/dblp","ee":"http://dx.doi.org/10.1016/S0167-6423(99)00016-7","interhash":"2a429f32028f418a13a238becd906bee","intrahash":"2ff0d2c679f3d8f54e77cc04bd451807","journal":"Sci. Comput. Program.","keywords":"dblp","number":"1","pages":"53-64","timestamp":"2011-08-31T11:33:52.000+0200","title":"Verification of a safety-critical railway interlocking system with real-time constraints.","url":"http://dblp.uni-trier.de/db/journals/scp/scp36.html#Hartonas-GarmhausenCCCG00","volume":"36","year":"2000","bibtex":"@article{journals/scp/Hartonas-GarmhausenCCCG00,\n added-at = {2011-08-30T00:00:00.000+0200},\n author = {Hartonas-Garmhausen, Vicky and Campos, Sérgio Vale Aguiar and Cimatti, Alessandro and Clarke, Edmund M. and Giunchiglia, Fausto},\n biburl = {http://www.bibsonomy.org/bibtex/22ff0d2c679f3d8f54e77cc04bd451807/dblp},\n ee = {http://dx.doi.org/10.1016/S0167-6423(99)00016-7},\n interhash = {2a429f32028f418a13a238becd906bee},\n intrahash = {2ff0d2c679f3d8f54e77cc04bd451807},\n journal = {Sci. Comput. Program.},\n keywords = {dblp},\n number = 1,\n pages = {53-64},\n timestamp = {2011-08-31T11:33:52.000+0200},\n title = {Verification of a safety-critical railway interlocking system with real-time constraints.},\n url = {http://dblp.uni-trier.de/db/journals/scp/scp36.html#Hartonas-GarmhausenCCCG00},\n volume = 36,\n year = 2000\n}\n\n","author_short":["Hartonas-Garmhausen, V.","Campos, S. V. A.","Cimatti, A.","Clarke, E. M.","Giunchiglia, F."],"key":"journals/scp/Hartonas-GarmhausenCCCG00","id":"journals/scp/Hartonas-GarmhausenCCCG00","bibbaseid":"hartonasgarmhausen-campos-cimatti-clarke-giunchiglia-verificationofasafetycriticalrailwayinterlockingsystemwithrealtimeconstraints-2000","role":"author","urls":{"Link":"http://dx.doi.org/10.1016/S0167-6423(99)00016-7","Paper":"http://dblp.uni-trier.de/db/journals/scp/scp36.html#Hartonas-GarmhausenCCCG00"},"keyword":["dblp"],"downloads":0,"html":""},"search_terms":["verification","safety","critical","railway","interlocking","system","real","time","constraints","hartonas-garmhausen","campos","cimatti","clarke","giunchiglia"],"keywords":["dblp"],"authorIDs":[],"dataSources":["CS6vigEABiPwJB2FM"]}