Nico Hamacher, Jörg Marrenbach. WEFEMIS- ein Werkzeug zur formalen Evaluierung interaktiver Geräte. In Horst Oberquelle, Reinhard Oppermann, Jürgen Krause, editors, Mensch & Computer, 5. bis 8. März 2001 in Bad Honnef. pages 345-353, Teubner, 2001. [doi]
@inproceedings{HamacherM01:0,
title = {WEFEMIS- ein Werkzeug zur formalen Evaluierung interaktiver Geräte},
author = {Nico Hamacher and Jörg Marrenbach},
year = {2001},
url = {http://mc.informatik.uni-hamburg.de/konferenzbaende/mc2001/V34.pdf},
researchr = {https://researchr.org/publication/HamacherM01%3A0},
cites = {0},
citedby = {0},
pages = {345-353},
booktitle = {Mensch & Computer, 5. bis 8. März 2001 in Bad Honnef},
editor = {Horst Oberquelle and Reinhard Oppermann and Jürgen Krause},
publisher = {Teubner},
}