Home > Research > Publications & Outputs > Composition in Multi-Paradigm Specification Tec...
View graph of relations

Composition in Multi-Paradigm Specification Techniques

Research output: Contribution to conference - Without ISBN/ISSN Other

Unpublished

Standard

Composition in Multi-Paradigm Specification Techniques. / Blair, Lynne; Blair, Gordon S.
1999. 3rd International Workshop on Formal Methods for Open Object-Based Distributed Systems (FMOODS'99).

Research output: Contribution to conference - Without ISBN/ISSN Other

Harvard

Blair, L & Blair, GS 1999, 'Composition in Multi-Paradigm Specification Techniques', 3rd International Workshop on Formal Methods for Open Object-Based Distributed Systems (FMOODS'99), 1/01/00.

APA

Blair, L., & Blair, G. S. (1999). Composition in Multi-Paradigm Specification Techniques. 3rd International Workshop on Formal Methods for Open Object-Based Distributed Systems (FMOODS'99).

Vancouver

Blair L, Blair GS. Composition in Multi-Paradigm Specification Techniques. 1999. 3rd International Workshop on Formal Methods for Open Object-Based Distributed Systems (FMOODS'99).

Author

Blair, Lynne ; Blair, Gordon S. / Composition in Multi-Paradigm Specification Techniques. 3rd International Workshop on Formal Methods for Open Object-Based Distributed Systems (FMOODS'99).

Bibtex

@conference{ce1a62e0aeb943c194323a07646ef799,
title = "Composition in Multi-Paradigm Specification Techniques",
keywords = "cs_eprint_id, 152 cs_uid, 1",
author = "Lynne Blair and Blair, {Gordon S.}",
year = "1999",
month = feb,
language = "English",
note = "3rd International Workshop on Formal Methods for Open Object-Based Distributed Systems (FMOODS'99) ; Conference date: 01-01-1900",

}

RIS

TY - CONF

T1 - Composition in Multi-Paradigm Specification Techniques

AU - Blair, Lynne

AU - Blair, Gordon S.

PY - 1999/2

Y1 - 1999/2

KW - cs_eprint_id

KW - 152 cs_uid

KW - 1

M3 - Other

T2 - 3rd International Workshop on Formal Methods for Open Object-Based Distributed Systems (FMOODS'99)

Y2 - 1 January 1900

ER -