Browse by Person (creator, editor, contributor, etc.)
Up a level |
Number of items: 1.
Arts, Thomas and Earle, Clara Benac and Penas, Juan José Sánchez (2004) Translating Erlang to muCRL. In: 4th International Conference on Application of Concurrency to System Design. IEEE Computer Society Press, Piscataway, New Jersey pp. 135-144. ISBN 0-7695-2077-4. (Full text available) |