Skip to main content

Browse by Publisher

Group by: Item Type | Date | No Grouping
Number of items: 1.

Conference or workshop item

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 Sat Sep 30 02:06:14 2023 BST.