Research output: Contribution to Journal/Magazine › Journal article
Research output: Contribution to Journal/Magazine › Journal article
}
TY - JOUR
T1 - Time versus abstraction in formal description.
AU - Bowman, H.
AU - Blair, Gordon S.
AU - Blair, Linda
AU - Chetwynd, Amanda G.
PY - 1994
Y1 - 1994
M3 - Journal article
VL - 22
SP - 407
EP - 482
JO - IFIP Transactions C
JF - IFIP Transactions C
ER -