{"_id":"2NpB28zN25xEhhqh3","bibbaseid":"bolton-noveldevelopmentsinformalmethodsforhumanfactorsengineering-2017","author_short":["Bolton, M. L."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","title":"Novel developments in formal methods for human factors engineering","volume":"61","booktitle":"Proceedings of the human factors and ergonomics society annual meeting","publisher":"SAGE Publications Sage CA: Los Angeles, CA","author":[{"propositions":[],"lastnames":["Bolton"],"firstnames":["Matthew","L."],"suffixes":[]}],"year":"2017","note":"tex.ids= boltonNovelDevelopmentsFormal2017a, boltonNovelDevelopmentsFormal2017b issue: 1 number: 1","keywords":"⛔ No DOI found","pages":"715–717","bibtex":"@inproceedings{bolton_novel_2017,\n\ttitle = {Novel developments in formal methods for human factors engineering},\n\tvolume = {61},\n\tbooktitle = {Proceedings of the human factors and ergonomics society annual meeting},\n\tpublisher = {SAGE Publications Sage CA: Los Angeles, CA},\n\tauthor = {Bolton, Matthew L.},\n\tyear = {2017},\n\tnote = {tex.ids= boltonNovelDevelopmentsFormal2017a, boltonNovelDevelopmentsFormal2017b\nissue: 1\nnumber: 1},\n\tkeywords = {⛔ No DOI found},\n\tpages = {715--717},\n}\n\n","author_short":["Bolton, M. L."],"key":"bolton_novel_2017","id":"bolton_novel_2017","bibbaseid":"bolton-noveldevelopmentsinformalmethodsforhumanfactorsengineering-2017","role":"author","urls":{},"keyword":["⛔ No DOI found"],"metadata":{"authorlinks":{}},"html":""},"bibtype":"inproceedings","biburl":"https://bibbase.org/zotero/SilverSylvester","dataSources":["YCBcQPneB9oxahSnp"],"keywords":["⛔ no doi found"],"search_terms":["novel","developments","formal","methods","human","factors","engineering","bolton"],"title":"Novel developments in formal methods for human factors engineering","year":2017}