Browse by Person (creator, editor, contributor, etc.)
Number of items: 1. Conference or workshop item
|
Tang, Xinbei and Woodcock, Jim
(2004)
Towards Mobile Processes in Unifying Theories.
In: Cuellar, Jorge and Liu, Zhiming, eds.
Software Engineering and Formal Methods, 2004. SEFM 2004. Proceedings of the Second International Conference on.
IEEE Computer Society Press., Beijing, China
pp. 44-53.
ISBN 0-7695-2222-X .
The full text of this publication is not available from this repository.
|
|
This list was generated on Tue Jun 18 05:46:35 2013 BST. |
