Michael Heymann, Asaf Degani. On the Construction of Human-Automation Interfaces by Formal Abstraction. In Sven Koenig, Robert C. Holte, editors, Abstraction, Reformulation and Approximation, 5th International Symposium, SARA 2002, Kananaskis, Alberta, Canada, August 2-4, 2002, Proceedings. Volume 2371 of Lecture Notes in Computer Science, pages 99-115, Springer, 2002. [doi]
@inproceedings{HeymannD02,
title = {On the Construction of Human-Automation Interfaces by Formal Abstraction},
author = {Michael Heymann and Asaf Degani},
year = {2002},
url = {http://link.springer.de/link/service/series/0558/bibs/2371/23710099.htm},
tags = {abstraction},
researchr = {https://researchr.org/publication/HeymannD02},
cites = {0},
citedby = {0},
pages = {99-115},
booktitle = {Abstraction, Reformulation and Approximation, 5th International Symposium, SARA 2002, Kananaskis, Alberta, Canada, August 2-4, 2002, Proceedings},
editor = {Sven Koenig and Robert C. Holte},
volume = {2371},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-43941-2},
}