%0 Journal Article %1 journals/hf/DeganiH02 %A Degani, Asaf %A Heymann, Michael %D 2002 %J Hum. Factors %K dblp %N 1 %P 28-43 %T Formal Verification of Human-Automation Interaction. %U http://dblp.uni-trier.de/db/journals/hf/hf44.html#DeganiH02 %V 44

@article{journals/hf/DeganiH02, added-at = {2020-06-04T00:00:00.000+0200}, author = {Degani, Asaf and Heymann, Michael}, biburl = {https://www.bibsonomy.org/bibtex/245dcf8f4367541aaeef54d20120e4b1a/dblp}, ee = {https://www.wikidata.org/entity/Q46059112}, interhash = {9225f2b13e1d9422bd014e9d9cd8fd65}, intrahash = {45dcf8f4367541aaeef54d20120e4b1a}, journal = {Hum. Factors}, keywords = {dblp}, number = 1, pages = {28-43}, timestamp = {2020-06-05T12:08:50.000+0200}, title = {Formal Verification of Human-Automation Interaction.}, url = {http://dblp.uni-trier.de/db/journals/hf/hf44.html#DeganiH02}, volume = 44, year = 2002 }