Research output: Contribution to conference - Without ISBN/ISSN › Other
Research output: Contribution to conference - Without ISBN/ISSN › Other
}
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 -