Matthias Biere, Birgit Bomsdorf, Gerd Szwillus. Specification and simulation of task models with VTMB. In Michael E. Atwood, editor, CHI '99 Extended Abstracts on Human Factors in Computing Systems, CHI Extended Abstracts '99, Pittsburgh, Pennsylvania, USA, May 15-20, 1999. pages 1-2, ACM, 1999. [doi]
@inproceedings{BiereBS99-0,
title = {Specification and simulation of task models with VTMB},
author = {Matthias Biere and Birgit Bomsdorf and Gerd Szwillus},
year = {1999},
doi = {10.1145/632716.632718},
url = {http://doi.acm.org/10.1145/632716.632718},
researchr = {https://researchr.org/publication/BiereBS99-0},
cites = {0},
citedby = {0},
pages = {1-2},
booktitle = {CHI '99 Extended Abstracts on Human Factors in Computing Systems, CHI Extended Abstracts '99, Pittsburgh, Pennsylvania, USA, May 15-20, 1999},
editor = {Michael E. Atwood},
publisher = {ACM},
}