Specifying and analysing multimedia systems

Computing and Communications

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

Published

Standard

Specifying and analysing multimedia systems. / Blair, Lynne ; Blair, Gordon S.
Formal methods for distributed processing : a survey of object-oriented approaches. ed. / Howard Bowman; John Derrick. Cambridge: Cambridge University Press, 2001. p. 373-399.

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

Harvard

Blair, L & Blair, GS 2001, Specifying and analysing multimedia systems. in H Bowman & J Derrick (eds), Formal methods for distributed processing : a survey of object-oriented approaches. Cambridge University Press, Cambridge, pp. 373-399.

APA

Blair, L., & Blair, G. S. (2001). Specifying and analysing multimedia systems. In H. Bowman, & J. Derrick (Eds.), Formal methods for distributed processing : a survey of object-oriented approaches (pp. 373-399). Cambridge University Press.

Vancouver

Blair L , Blair GS. Specifying and analysing multimedia systems. In Bowman H, Derrick J, editors, Formal methods for distributed processing : a survey of object-oriented approaches. Cambridge: Cambridge University Press. 2001. p. 373-399

Author

Blair, Lynne ; Blair, Gordon S. / Specifying and analysing multimedia systems. Formal methods for distributed processing : a survey of object-oriented approaches. editor / Howard Bowman ; John Derrick. Cambridge : Cambridge University Press, 2001. pp. 373-399

Bibtex

@inbook{9b66d439ebdb4aa2883fd5f8dca58110,

title = "Specifying and analysing multimedia systems",

author = "Lynne Blair and Blair, {Gordon S.}",

year = "2001",

language = "English",

isbn = "9780521771849",

pages = "373--399",

editor = "Bowman, {Howard } and Derrick, {John }",

booktitle = "Formal methods for distributed processing",

publisher = "Cambridge University Press",

}

RIS

TY - CHAP

T1 - Specifying and analysing multimedia systems

AU - Blair, Lynne

AU - Blair, Gordon S.

PY - 2001

Y1 - 2001

M3 - Chapter

SN - 9780521771849

SP - 373

EP - 399

BT - Formal methods for distributed processing

A2 - Bowman, Howard

A2 - Derrick, John

PB - Cambridge University Press

CY - Cambridge

ER -

Research