Browse by Publisher

Group by: Item Type | Date | No Grouping

Number of items: 1.

Tang, Xinbei, Woodcock, Jim (2004) Towards Mobile Processes in Unifying Theories. In: Cuellar, Jorge and Liu, Zhiming, eds. SEFM2004: the 2nd IEEE International Conference on Software Engineering and Formal Methods. . pp. 44-53. IEEE Computer Society Press., Beijing, China ISBN 0-7695-2222-X. (doi:10.1109/SEFM.2004.1347502) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:14075)

This list was generated on Wed Dec 25 01:31:14 2024 GMT.