@article{journals/thms/GelmanFR14,
  added-at = {2020-06-15T00:00:00.000+0200},
  author = {Gelman, Gabriel and Feigh, Karen M. and Rushby, John M.},
  biburl = {https://www.bibsonomy.org/bibtex/2261a81583967c7647c05d278aba8967e/dblp},
  ee = {https://doi.org/10.1109/THMS.2014.2331034},
  interhash = {facd92cc02ea41598728ba7f4fa0728d},
  intrahash = {261a81583967c7647c05d278aba8967e},
  journal = {IEEE Trans. Hum. Mach. Syst.},
  keywords = {dblp},
  number = 5,
  pages = {576-590},
  timestamp = {2020-06-16T11:38:29.000+0200},
  title = {Example of a Complementary Use of Model Checking and Human Performance Simulation.},
  url = {http://dblp.uni-trier.de/db/journals/thms/thms44.html#GelmanFR14},
  volume = 44,
  year = 2014
}

{"_id":"gRZ2ShvGwhuPC5Zsu","bibbaseid":"gelman-feigh-rushby-exampleofacomplementaryuseofmodelcheckingandhumanperformancesimulation-2014","authorIDs":[],"author_short":["Gelman, G.","Feigh, K. M.","Rushby, J. M."],"bibdata":{"bibtype":"article","type":"article","added-at":"2020-06-15T00:00:00.000+0200","author":[{"propositions":[],"lastnames":["Gelman"],"firstnames":["Gabriel"],"suffixes":[]},{"propositions":[],"lastnames":["Feigh"],"firstnames":["Karen","M."],"suffixes":[]},{"propositions":[],"lastnames":["Rushby"],"firstnames":["John","M."],"suffixes":[]}],"biburl":"https://www.bibsonomy.org/bibtex/2261a81583967c7647c05d278aba8967e/dblp","ee":"https://doi.org/10.1109/THMS.2014.2331034","interhash":"facd92cc02ea41598728ba7f4fa0728d","intrahash":"261a81583967c7647c05d278aba8967e","journal":"IEEE Trans. Hum. Mach. Syst.","keywords":"dblp","number":"5","pages":"576-590","timestamp":"2020-06-16T11:38:29.000+0200","title":"Example of a Complementary Use of Model Checking and Human Performance Simulation.","url":"http://dblp.uni-trier.de/db/journals/thms/thms44.html#GelmanFR14","volume":"44","year":"2014","bibtex":"@article{journals/thms/GelmanFR14,\n added-at = {2020-06-15T00:00:00.000+0200},\n author = {Gelman, Gabriel and Feigh, Karen M. and Rushby, John M.},\n biburl = {https://www.bibsonomy.org/bibtex/2261a81583967c7647c05d278aba8967e/dblp},\n ee = {https://doi.org/10.1109/THMS.2014.2331034},\n interhash = {facd92cc02ea41598728ba7f4fa0728d},\n intrahash = {261a81583967c7647c05d278aba8967e},\n journal = {IEEE Trans. Hum. Mach. Syst.},\n keywords = {dblp},\n number = 5,\n pages = {576-590},\n timestamp = {2020-06-16T11:38:29.000+0200},\n title = {Example of a Complementary Use of Model Checking and Human Performance Simulation.},\n url = {http://dblp.uni-trier.de/db/journals/thms/thms44.html#GelmanFR14},\n volume = 44,\n year = 2014\n}\n\n","author_short":["Gelman, G.","Feigh, K. M.","Rushby, J. M."],"key":"journals/thms/GelmanFR14","id":"journals/thms/GelmanFR14","bibbaseid":"gelman-feigh-rushby-exampleofacomplementaryuseofmodelcheckingandhumanperformancesimulation-2014","role":"author","urls":{"Link":"https://doi.org/10.1109/THMS.2014.2331034","Paper":"http://dblp.uni-trier.de/db/journals/thms/thms44.html#GelmanFR14"},"keyword":["dblp"],"downloads":0},"bibtype":"article","biburl":"http://www.bibsonomy.org/bib/author/John ?items=1000","creationDate":"2020-06-25T10:18:54.326Z","downloads":0,"keywords":["dblp"],"search_terms":["example","complementary","use","model","checking","human","performance","simulation","gelman","feigh","rushby"],"title":"Example of a Complementary Use of Model Checking and Human Performance Simulation.","year":2014,"dataSources":["7pwnyondczync5QcQ"]}