{"_id":"NYQmYFmq2suswZiH3","bibbaseid":"bolton-modelcheckinghumanhumancommunicationprotocolsusingtaskmodelsandmiscommunicationgeneration-2015","author_short":["Bolton, M. L"],"bibdata":{"bibtype":"article","type":"article","url":"https://arc.aiaa.org/doi/abs/10.2514/1.i010276","author":[{"firstnames":["Matthew","L"],"propositions":[],"lastnames":["Bolton"],"suffixes":[]}],"journal":"Journal of Aerospace Information Systems","title":"Model checking human–human communication protocols using task models and miscommunication generation","year":"2015","bibtex":"@article{6c19RG8AAAAJ:TQgYirikUcIC,\n URL = {https://arc.aiaa.org/doi/abs/10.2514/1.i010276},\n author = {Matthew L Bolton},\n journal = {Journal of Aerospace Information Systems},\n title = {Model checking human–human communication protocols using task models and miscommunication generation},\n year = {2015}\n}\n","author_short":["Bolton, M. L"],"key":"6c19RG8AAAAJ:TQgYirikUcIC","id":"6c19RG8AAAAJ:TQgYirikUcIC","bibbaseid":"bolton-modelcheckinghumanhumancommunicationprotocolsusingtaskmodelsandmiscommunicationgeneration-2015","role":"author","urls":{"Paper":"https://arc.aiaa.org/doi/abs/10.2514/1.i010276"},"metadata":{"authorlinks":{}}},"bibtype":"article","biburl":"https://bibbase.org/f/Nu7vemBQmbYhdC97i/test.bib","dataSources":["YCBcQPneB9oxahSnp","YgvS53ZWNjFkrzNS4"],"keywords":[],"search_terms":["model","checking","human","human","communication","protocols","using","task","models","miscommunication","generation","bolton"],"title":"Model checking human–human communication protocols using task models and miscommunication generation","year":2015}