TY  - RPRT
TI  - Modelling protein functional domains in signal transduction using Maude
AU  - Sriram, M. G.
PY  - 2003
UR  - https://ntrs.nasa.gov/citations/20050155567
ID  - 20050155567
ER  -