%0 Journal Article %1 journals/isse/BoltonZMHL17 %A Bolton, Matthew L. %A Zheng, Xi %A Molinaro, Kylie %A Houser, Adam %A Li, Meng %D 2017 %J Innov. Syst. Softw. Eng. %K dblp %N 1 %P 1-17 %T Improving the scalability of formal human-automation interaction verification analyses that use task-analytic models. %U http://dblp.uni-trier.de/db/journals/isse/isse13.html#BoltonZMHL17 %V 13

@article{journals/isse/BoltonZMHL17, added-at = {2023-09-30T00:00:00.000+0200}, author = {Bolton, Matthew L. and Zheng, Xi and Molinaro, Kylie and Houser, Adam and Li, Meng}, biburl = {https://www.bibsonomy.org/bibtex/2423c8a6c415bcb5369857b06b1b07203/dblp}, ee = {https://doi.org/10.1007/s11334-016-0272-z}, interhash = {dd30f40c39826c42882f86cc512c5646}, intrahash = {423c8a6c415bcb5369857b06b1b07203}, journal = {Innov. Syst. Softw. Eng.}, keywords = {dblp}, number = 1, pages = {1-17}, timestamp = {2024-04-09T04:08:26.000+0200}, title = {Improving the scalability of formal human-automation interaction verification analyses that use task-analytic models.}, url = {http://dblp.uni-trier.de/db/journals/isse/isse13.html#BoltonZMHL17}, volume = 13, year = 2017 }