Time versus abstraction in formal description.

Research output: Contribution to Journal/Magazine › Journal article

Published

Standard

Time versus abstraction in formal description. / Bowman, H.; Blair, Gordon S.; Blair, Linda et al.
In: IFIP Transactions C, Vol. 22, 1994, p. 407-482.

Research output: Contribution to Journal/Magazine › Journal article

Harvard

Bowman, H, Blair, GS, Blair, L & Chetwynd, AG 1994, 'Time versus abstraction in formal description.', IFIP Transactions C, vol. 22, pp. 407-482.

APA

Bowman, H., Blair, G. S., Blair, L., & Chetwynd, A. G. (1994). Time versus abstraction in formal description. IFIP Transactions C, 22, 407-482.

Vancouver

Bowman H, Blair GS, Blair L, Chetwynd AG. Time versus abstraction in formal description. IFIP Transactions C. 1994;22:407-482.

Author

Bowman, H. ; Blair, Gordon S. ; Blair, Linda et al. / Time versus abstraction in formal description. In: IFIP Transactions C. 1994 ; Vol. 22. pp. 407-482.

Bibtex

@article{4d3cfc1f3c8d4cc6b9dc069e5db9efaf,

title = "Time versus abstraction in formal description.",

author = "H. Bowman and Blair, {Gordon S.} and Linda Blair and Chetwynd, {Amanda G.}",

year = "1994",

language = "English",

volume = "22",

pages = "407--482",

journal = "IFIP Transactions C",

}

RIS

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 -

Research