共 20 条
[1]
[Anonymous], MODEL CHECKING
[2]
[Anonymous], NEW TECHNOLOGY HUMAN
[3]
[Anonymous], 1985, INT SERIES COMP SCI
[4]
BUTLER RW, 1998, P 17 DIG AV SYST C O
[6]
Cleaveland R., 2000, CONCURRENCY WORKBENC
[7]
Curzon P, 2004, LECT NOTES COMPUT SC, V2999, P461
[8]
Dix A., 1991, FORMAL METHODS INTER
[9]
Johnson C, 1997, HUMAN-COMPUTER INTERACTION - INTERACT '97, P331
[10]
KALLUS K, 1999, HUMET1ST011000REP04