Time versus abstraction in formal descriptions.

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Chapter

Published

Standard

Time versus abstraction in formal descriptions. / Bowman, H.; Blair, L.; Blair, Gordon S. et al.
Proceedings of the Sixth International Conference on Formal Description Techniques (Forte '93). ed. / R. L. Tenney; P. D. Amer; Umiy Uyar. North Holland: Elsevier, 1994.

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Chapter

Harvard

Bowman, H, Blair, L , Blair, GS & Chetwynd, AG 1994, Time versus abstraction in formal descriptions. in RL Tenney, PD Amer & U Uyar (eds), Proceedings of the Sixth International Conference on Formal Description Techniques (Forte '93). Elsevier, North Holland.

APA

Bowman, H., Blair, L., Blair, G. S., & Chetwynd, A. G. (1994). Time versus abstraction in formal descriptions. In R. L. Tenney, P. D. Amer, & U. Uyar (Eds.), Proceedings of the Sixth International Conference on Formal Description Techniques (Forte '93) Elsevier.

Vancouver

Bowman H, Blair L , Blair GS , Chetwynd AG. Time versus abstraction in formal descriptions. In Tenney RL, Amer PD, Uyar U, editors, Proceedings of the Sixth International Conference on Formal Description Techniques (Forte '93). North Holland: Elsevier. 1994

Author

Bowman, H. ; Blair, L. ; Blair, Gordon S. et al. / Time versus abstraction in formal descriptions. Proceedings of the Sixth International Conference on Formal Description Techniques (Forte '93). editor / R. L. Tenney ; P. D. Amer ; Umiy Uyar. North Holland : Elsevier, 1994.

Bibtex

@inbook{3f278b3a9da24fe2927283db81e2dc12,

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

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

year = "1994",

language = "English",

editor = "Tenney, {R. L.} and Amer, {P. D.} and Umiy Uyar",

booktitle = "Proceedings of the Sixth International Conference on Formal Description Techniques (Forte '93)",

publisher = "Elsevier",

}

RIS

TY - CHAP

T1 - Time versus abstraction in formal descriptions.

AU - Bowman, H.

AU - Blair, L.

AU - Blair, Gordon S.

AU - Chetwynd, Amanda G.

PY - 1994

Y1 - 1994

M3 - Chapter

BT - Proceedings of the Sixth International Conference on Formal Description Techniques (Forte '93)

A2 - Tenney, R. L.

A2 - Amer, P. D.

A2 - Uyar, Umiy

PB - Elsevier

CY - North Holland

ER -

Research