TY - GEN
AU - Abbate, Andrew J.
AU - Bass, Ellen J.
TI - Using Computational Tree Logic Methods to Analyze Reachability in User Documentation
PB - SAGE Publications
SN - 2169-5067
SN - 1071-1813
KW - General Medicine
PY - 2015
UR - http://slubdd.de/katalog?TN_libero_mab2
ER -
Download citation